Automated Deduction in Geometry

6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers

228 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI) Mustererkennung
• ISBN: 9783540773559
• Sprache: Englisch
• Erscheinungsdatum: 12.12.2007
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Tomas Recio, Francisco Botana