Google
Google Scholar
MS Academic Search
CiteSeerX
Semantic Scholar6. 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
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2016-09-28 01:23 CEST by the dblp team