
Tell your friends about this item:
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996: Selected Papers - Lecture Notes in Computer Science
Dongming Wang
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996: Selected Papers - Lecture Notes in Computer Science
Dongming Wang
Constitutes the refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in France, in 1996. This book covers automated geometric reasoning and the deduction applied to Dixon resultants, Grobner bases, characteristic sets, computational geometry, algebraic geometry, and planet motion.
247 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | March 18, 1998 |
ISBN13 | 9783540642978 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 247 |
Dimensions | 156 × 234 × 13 mm · 353 g |
Language | German |
Editor | Wang, Dongming |