| 1. 
  |  | Title: Elimination Methods (Texts and Monographs in Symbolic Computation) by Dongming Wang, B. Buchberger, G.E. Collins, D. Wang
 ISBN: 3211832416
 Publisher: Springer-Verlag
 Pub. Date: 01 December, 2000
 List Price: $84.95
 Amazon.com Price: $84.95
 | 
| 2. 
  |  | Title: Computer Mathematics: Proceedings of the Fourth Asian Symposium (Ascm 2000), Chiang Mai, Thailand 17-21 December 2000 (Lecture Notes Series on Computing) by Ziao-Shan Gao, Dongming Wang
 ISBN: 9810244983
 Publisher: World Scientific Publishing Company
 Pub. Date: 01 April, 2001
 List Price: $97.00
 Amazon.com Price: $97.00
 | 
| 3. 
  |  | Title: Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation) by Jochen Pfalzgraf, Dongming Wang
 ISBN: 0387826009
 Publisher: Springer-Verlag Telos
 Pub. Date: 01 January, 1995
 List Price: $59.00
 Amazon.com Price: $59.00
 | 
| 4. 
  |  | Title: Elimination Practice: Software Tools and Applications by Dongming Wang
 ISBN: 1860944388
 Publisher: Imperial College Press
 Pub. Date: 01 June, 2004
 List Price: $56.00
 Amazon.com Price: $56.00
 | 
| 5. 
  |  | Title: Automated Deduction in Geometry: Third International Workshop, Adg 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers (Lecture Notes in Artificial Intelligence) by Jurgen Richter-Gebert, Dongming Wang
 ISBN: 3540425985
 Publisher: Springer-Verlag Telos
 Pub. Date: 01 October, 2001
 List Price: $62.95
 Amazon.com Price: $62.95
 | 
| 6. 
  |  | Title: Automated Deduction in Geometry: 2nd International Workshop, Adg'98, Beijing, China, August 1-3, 1998, Pr   Oceedings (Lecture Notes in Computer Science, 1669) by International Workshop on Automated Deduction in Geometry 1998  Beijin, J. Siekmann, Xiao-Shan Gao, Dongming Wang, Lu Yang
 ISBN: 3540666729
 Publisher: Springer-Verlag Telos
 Pub. Date: 01 June, 1999
 List Price: $64.95
 Amazon.com Price: $64.95
 | 
| 7. 
  |  | Title: Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : Selected Papers (Lecture Notes in Artificial Intelligence) by International Workshop on Automated Deduction in Geometry, Dongming Wang
 ISBN: 3540642978
 Publisher: Springer-Verlag
 Pub. Date: 01 June, 1998
 List Price: $64.95
 Amazon.com Price: $64.95
 |