6. ADG 2006: Pontevedra, Spain
- Francisco Botana, Tomás Recio:
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 - Predrag Janicic, Pedro Quaresma:
Automatic Verification of Regular Constructions in Dynamic Geometry Systems. 39-51 - Robert H. Lewis, Evangelos A. Coutsias:
Algorithmic Search for Flexibility Using Resultants of Polynomial Systems. 68-79 - 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 - 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