default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th 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 - 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 H. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
