Towards the Automatic Discovery of Theorems in GeoGebra

DOI10.1007/978-3-319-42432-3_5zbMath1434.68636OpenAlexW2485439805MaRDI QIDQ2819196

Tomás Recio, Miguel A. Abánades, C. Sólyom-Gecse, Zoltán Kovács, Francisco Botana

Publication date: 28 September 2016

Published in: Mathematical Software – ICMS 2016 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-42432-3_5

zbMATH Keywords

computational algebraic geometrydynamic geometryGeoGebraautomatic discovery

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Elementary problems in Euclidean geometries (51M04) Geometry education (97Gxx) Technological tools, calculators (aspects of mathematics education) (97U70) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items

Locus computation in dynamic geometry environment, Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick

Uses Software

• GeoGebra
• JGEX

Cites Work

• GeoGebra
• Automated theorem proving in GeoGebra: current achievements
• A new theorem discovered by computer prover
• On protocols for the automated discovery of theorems in elementary geometry
• Automatic discovery of theorems in elementary geometry
• Automated generation of geometric theorems from images of diagrams
• An Introduction to Automated Discovery in Geometry through Symbolic Computation
• Unnamed Item
• Unnamed Item