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

Authors :: Jürgen Richter-Gebert
Dongming Wang
Jürgen Richter-Gebert
Dongming Wang
Publication Year :: 2003

Subjects :: Artificial intelligence
Geometry
Application software
Computer graphics
Machine theory
Pattern recognition systems

Language :: English
ISBNs :: 9783540425984 and 9783540454106
Volume :: 02061
Database :: eBook Index
Journal :: Automated Deduction in Geometry : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
Publication Type :: eBook
Accession number :: 2692147

Tools