Francisco Botana / Tomas Recio (eds.)

Automated Deduction in Geometry

6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers
Herausgegeben:Botana, Francisco; Recio, Tomas

• Broschiertes Buch

Produktbeschreibung

Towards an Electronic Geometry Textbook.- Equidecomposable Quadratic Regions.- Automatic Verification of Regular Constructions in Dynamic Geometry Systems.- Recognition of Computationally Constructed Loci.- Algorithmic Search for Flexibility Using Resultants of Polynomial Systems.- Cylinders Through Five Points: Complex and Real Enumerative Geometry.- Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method.- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems.- Mechanical Theorem Proving in Tarski's Geometry.- On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons.- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry.- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System.- Constructing a Tetrahedron with Prescribed Heights and Widths.

Produktdetails

• Lecture Notes in Computer Science 4869
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 12206292, 978-3-540-77355-9
• Seitenzahl: 228
• Erscheinungstermin: 12. Dezember 2007
• Englisch
• Abmessung: 235mm x 155mm x 13mm
• Gewicht: 353g
• ISBN-13: 9783540773559
• ISBN-10: 354077355X
• Artikelnr.: 23414796

Inhaltsangabe

Towards an Electronic Geometry Textbook.- Equidecomposable Quadratic Regions.- Automatic Verification of Regular Constructions in Dynamic Geometry Systems.- Recognition of Computationally Constructed Loci.- Algorithmic Search for Flexibility Using Resultants of Polynomial Systems.- Cylinders Through Five Points: Complex and Real Enumerative Geometry.- Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method.- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems.- Mechanical Theorem Proving in Tarski's Geometry.- On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons.- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry.- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System.- Constructing a Tetrahedron with Prescribed Heights and Widths.