A method for the automated discovery of angle theorems

DOI10.4204/EPTCS.352.17MaRDI QIDQ6653969zbMATH OpenFDO

Authors Philip H. Todd

Publication date 17 December 2024

Full work available at URL https://doi.org/10.4204/EPTCS.352.17

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• A symbolic dynamic geometry system using the analytical geometry method
• Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
• Automated theorem proving in GeoGebra: current achievements
• Discovering Geometry Theorems in Regular Polygons
• Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
• Machine Proofs in Geometry
• Towards an Automated Geometer

Cited in

(1)

• Considerations on approaches and metrics in automated theorem generation/finding in geometry

This page was built for publication: A method for the automated discovery of angle theorems

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