Remarks on geometric theorem proving

DOI10.1007/3-540-45410-1_7MaRDI QIDQ4531856zbMATH OpenFDO

Authors Laura Bazzotti, Lorenzo Robbiano, Giorgio Dalzotto

Publication date 23 May 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2061/20610104

Mathematics Subject Classification ID

Euclidean analytic geometry (51N20) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Symbolic computation and algebraic computation (68W30)

Recommendations

• Algebraic proofs for geometric statements
• Automatic discovery of theorems in elementary geometry
• Automatted geometry theorem proving
• A new approach for automatic theorem proving in real geometry
• Mechanical geometry theorem proving

Cited in

(18)

• What does ``without loss of generality mean, and how do we detect it
• Automated theorem proving practice with null geometric algebra
• Automatic discovery of theorems in elementary geometry
• Geometric nontermination arguments
• A computer-aided proof of a conjecture in Euclidean geometry
• From informal to formal proofs in Euclidean geometry
• Enthymemathical Proofs and Canonical Proofs in Euclid’s Plane Geometry
• scientific article; zbMATH DE number 4164190 (Why is no real title available?)
• Formalized proof, computation, and the construction problem in algebraic geometry
• Project 1: Automatic geometry theorem proving
• A case of automatic theorem proving in Euclidean geometry: The Maclane \(8_ 3\) theorem
• scientific article; zbMATH DE number 2020175 (Why is no real title available?)
• A Geometric Procedure with Prover9
• On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons
• Algebraic proofs for geometric statements
• Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick
• On protocols for the automated discovery of theorems in elementary geometry
• Connecting the 3D DGS Calques3D with the CAS Maple

Describes a project that uses

Uses Software

• CoCoA

This page was built for publication: Remarks on geometric theorem proving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4531856)