6. ADG 2006: Pontevedra, SpainA

Francisco Botana, Tomás Recio (Eds.): Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers. Lecture Notes in Computer Science 4869 Springer 2007, ISBN 978-3-540-77355-9

Xiaoyu Chen, Dongming Wang:
Towards an Electronic Geometry Textbook. 1-23
Thomas C. Hales:
Equidecomposable Quadratic Regions. 24-38
Predrag Janicic, Pedro Quaresma:
Automatic Verification of Regular Constructions in Dynamic Geometry Systems. 39-51
Peter Lebmeir, Jürgen Richter-Gebert:
Recognition of Computationally Constructed Loci. 52-67
Robert H. Lewis, Evangelos A. Coutsias:
Algorithmic Search for Flexibility Using Resultants of Polynomial Systems. 68-79
Daniel Lichtblau:
Cylinders Through Five Points: Complex and Real Enumerative Geometry. 80-97
Dominique Michelucci, Sebti Foufou:
Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method. 98-112
Antonio Montes, Tomás Recio:
Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems. 113-138
Julien Narboux:
Mechanical Theorem Proving in Tarski's Geometry. 139-156
Pavel Pech:
On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons. 157-170
Eugenio Roanes-Macías, Eugenio Roanes-Lozano:
A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry. 171-188
Philip Todd:
Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System. 189-202
Lu Yang, Zhenbing Zeng:
Constructing a Tetrahedron with Prescribed Heights and Widths. 203-211