Home Advanced Search

Advanced Search - Page 1

Elimination Methods
  • PDF
  • English
  • Year: 2001
  • Author: Dr. Dongming Wang (auth.)
Automated Practical Reasoning: Algebraic Approaches
  • PDF
  • English
  • Year: 1995
  • Author: Jochen Pfalzgraf, Dongming Wang (auth.), Dr. Jochen Pfalzgraf, Dr. Dongming Wang (eds.)
Elimination Practice
  • PDF
  • English
  • Year: 2004
  • Author: Dongming Wang
Elimination Practice: Software Tools and Applications
  • DJVU
  • English
  • Year: 2004
  • Author: Dongming Wang
Symbolic-Numeric Computation
  • PDF
  • English
  • Year: 2007
  • Author: Robert M. Corless (auth.), Dongming Wang, Lihong Zhi (eds.)
Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers
  • PDF
  • English
  • Year: 2007
  • Author: Xiaoyu Chen, Dongming Wang (auth.), Francisco Botana, Tomas Recio (eds.)
Differential Equations with Symbolic Computation
  • PDF
  • English
  • Year: 2005
  • Author: Dongming Wang, Zhiming Zheng
Differential Equations With Symbolic Computation
  • PDF
  • English
  • Year: 2005
  • Author: Dongming Wang, Zhiming Zheng
Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Arjeh M. Cohen (auth.), Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.)
Gröbner Bases in Symbolic Analysis
  • PDF
  • English
  • Year: 2007
  • Author: Markus Rosenkranz (editor); Dongming Wang (editor)
search