Automated analysis of the difficulty of secondary school geometry theorems

DOI10.1007/S10472-025-09983-9MaRDI QIDQ6872773zbMATH OpenFDO

Authors Soma Bartha, András Kerekes, Zoltán Kovács, Tomas Recio

Publication date 19 January 2026

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

Full work available at URL https://doi.org/10.1007/S10472-025-09983-9

zbMATH Keywords

Euclidean geometryalgebraic methodsdeductive databaseJava Geometry Expertautomated theorem proverGeoGebra Discovery

Mathematics Subject Classification ID

Elementary problems in Euclidean geometries (51M04) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Computational methods for problems pertaining to geometry (51-08)

Cites work

• An introduction to Java geometry expert. (Extended abstract)
• An open graph visualization system and its applications to software engineering
• Automated reasoning tools in GeoGebra discovery
• Considerations on approaches and metrics in automated theorem generation/finding in geometry
• Formalization of Wu's simple method in Coq
• Formalization of the arithmetization of Euclidean plane geometry and applications
• Giac and GeoGebra -- improved Gröbner basis computations
• Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra
• On the notion of interestingness in automated mathematical discovery
• Online generation of proofs without words
• Polynomial algorithms in computer algebra
• Proof certificates for algebra and their application to automatic geometry theorem proving
• Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski
• The \texttt{ShowProof} command in \textit{GeoGebra Discovery}: towards the automated ranking of elementary geometry theorems
• The problem of automated theorem finding

This page was built for publication: Automated analysis of the difficulty of secondary school geometry theorems

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