AddALL book price comparison

1. Elimination Practice: Software Tools and Applications

ISBN: 1860944388
ISBN13: 9781860944383
Binding: Other
List Price: $80.0
Publisher: Imperial College Pr
Published Date: 06/01/2004

2. Symbolic Computation And Education

Author: Dongming Wang - Editor: Jing-Zhong Zhang - Editor: Dongming Wang

ISBN: 9812775994
ISBN13: 9789812775993
Binding: Hardcover
List Price: $104.0
Publisher: World Scientific Pub Co Inc
Published Date: 10/17/2007

3. Differential Equations with Symbolic Computation

Author: Dongming Wang - Editor: Zhiming Zheng

ISBN: 3764373687
ISBN13: 9783764373689
Binding: Hardcover
List Price: $109.0
Publisher: Springer Verlag
Published Date: 10/16/2005

4. Grobner Bases in Symbolic Analysis

Editor: Markus Rosenkranz - Editor: Dongming Wang

ISBN: 311019323X
ISBN13: 9783110193237
Binding: Hardcover
List Price: $118.0
Publisher: Walter De Gruyter Inc
Published Date: 10/01/2007

5. Computer Mathematics: Proceedings of the Fourth Asian Symposium (Ascm 2000), Chiang Mai, Thailand 17-21 December 2000

Editor: Ziao-Shan Gao - Editor: Dongming Wang

ISBN: 9810244983
ISBN13: 9789810244989
Binding: Hardcover
List Price: $103.0
Publisher: World Scientific Pub Co Inc
Published Date: 04/01/2001

6. Mathematics Mechanization and Applications

Editor: Dongming Wang - Editor: Xiao-Shan Gao

ISBN: 0127347607
ISBN13: 9780127347608
Binding: Hardcover
List Price: $195.0
Publisher: Academic Pr
Published Date: 07/25/2000

7. Symbolic-Numeric Computation

Editor: Li-hong Zhi - Editor: Dongming Wang

ISBN: 3764379839
ISBN13: 9783764379834
Binding: Hardcover
List Price: $99.0
Publisher: Springer Verlag
Published Date: 03/06/2007

8. Automated Deduction in Geometry: 5th International Workshop, Adg 2004, Gainesville, Fl, Usa, September 16-18, 2004, Revised Papers

Editor: Stefano Spaccapietra - Editor: Hoon Hong - Editor: Dongming Wang

ISBN: 354031332X
ISBN13: 9783540313328
Binding: Paperback
List Price: $58.0
Publisher: Springer Verlag
Published Date: 03/15/2006

9. Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 Proceedings

Editor: Tetsuo Ida - Editor: Jaques Calmet - Editor: Dongming Wang

ISBN: 3540397280
ISBN13: 9783540397281
Binding: Paperback
List Price: $69.95
Publisher: Springer-Verlag New York Inc
Published Date: 10/15/2006

10. Elimination Methods

Author: Dongming Wang - Editor: G.E. Collins - Editor: B. Buchberger

ISBN: 3211832416
ISBN13: 9783211832417
Binding: Paperback
List Price: $115.0
Publisher: Springer Verlag
Published Date: 12/01/2000

11. Mechanical Theorem Proving in Geometries: Basic Principles

Author: Went Sun Wu - Author: Xiao Fan Jin - Author: Dongming Wang

ISBN: 0387825061
ISBN13: 9780387825069
Binding: Paperback
List Price: $112.0
Publisher: Springer Verlag
Published Date: 05/01/1994

12. Automated Deduction in Geometry: Third International Workshop, Adg 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers

Author: INTERNATIONAL WORKSHOP ON AUTOMATED DEDU - Author: Dongming Wang - Editor: Jurgen Richter-Gebert

ISBN: 3540425985
ISBN13: 9783540425984
Binding: Paperback
List Price: $64.95
Publisher: Springer Verlag
Published Date: 10/01/2001

13. Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 Selected Papers

Author: International Workshop on Automated Deduction in Geometry (1996 Toulo - Author: Dongming Wang

ISBN: 3540642978
ISBN13: 9783540642978
Binding: Paperback
List Price: $64.95
Publisher: Springer Verlag
Published Date: 06/01/1998

14. Automated Deduction in Geometry: 2nd International Workshop, Adg'98, Beijing, China, August 1-3, 1998, Pr Oceedings

Author: Lu Yang - Author: International Workshop on Automated Deduction in Geometry 1998 Beijin - Author: Xiao-Shan Gao - Author: Dongming Wang - Editor: J. Siekmann

ISBN: 3540666729
ISBN13: 9783540666721
Binding: Paperback
List Price: $64.95
Publisher: Springer Verlag
Published Date: 06/01/1999