A method for the automated discovery of angle theorems
From MaRDI portal
Publication:6653969
DOI10.4204/EPTCS.352.17MaRDI QIDQ6653969
Publication date: 17 December 2024
Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- Automated theorem proving in GeoGebra: current achievements
- A symbolic dynamic geometry system using the analytical geometry method
- Machine Proofs in Geometry
- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
- Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
- Discovering Geometry Theorems in Regular Polygons
- Towards an Automated Geometer
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)
