Automated discovery of angle theorems

DOI10.1007/s10472-023-09841-6zbMath1530.15025OpenAlexW4381463104WikidataQ122732922 ScholiaQ122732922MaRDI QIDQ6185786

Philip H. Todd

Publication date: 8 January 2024

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-023-09841-6

zbMATH Keywords

Euclidean geometrycubic graphsautomated deductionapplications of graph theorytheorem discovery

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68V99) Graphs and linear algebra (matrices, eigenvalues, etc.) (05C50) Elementary problems in Euclidean geometries (51M04) Basic linear algebra (15A99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Automated theorem proving in GeoGebra: current achievements
• On Morley's trisector theorem
• On the application of Buchberger's algorithm to automated geometry theorem proving
• Basic principles of mechanical theorem proving in elementary geometries
• A symbolic dynamic geometry system using the analytical geometry method
• A mechanical geometer
• Matrices with Two Nonzero Entries per Row
• Machine Proofs in Geometry
• Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation
• Discovering Geometry Theorems in Regular Polygons
• Towards an Automated Geometer

This page was built for publication: Automated discovery of angle theorems