Automated Deduction in Geometry

Inhaltsverzeichnis

• 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.