On protocols for the automated discovery of theorems in elementary geometry

DOI10.1007/s10817-009-9133-xzbMath1184.68458MaRDI QIDQ846167

Tomás Recio, Giorgio Dalzotto

Publication date: 1 February 2010

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-009-9133-x

zbMATH Keywords

computational algebraic geometry; automatic theorem proving; elementary geometry; automatic theorem discovery

Mathematics Subject Classification ID

51-04: Software, source code, etc. for problems pertaining to geometry

14Q99: Computational aspects in algebraic geometry

Related Items

Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems, On One Method of Proving Inequalities in Automated Way

Uses Software

• CoCoA
• Epsilon

Cites Work

• A new theorem discovered by computer prover
• A method for the mechanical derivation of formulas in elementary geometry
• Wu's method and its application to perspective viewing
• Automatic discovery of theorems in elementary geometry
• Computational Science and Its Applications – ICCSA 2004
• Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
• Automated Deduction in Geometry
• Automated Deduction in Geometry
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item