The ShowProof Command in GeoGebra Discovery : Towards the Automated Ranking of Elementary Geometry Theorems
Zoltán Ambrus Kovács, Bernard Parisse, Tomás Recio, María Pilar Vélez, Jonathan H. Yu · ACM communications in computer algebra · 2024
We present a new GeoGebra Discovery command, ShowProof , which provides a certified step-by-step algebraic proof and complexity grade of planar geometry theorems. The output is available in multiple languages and can be exported as plain text to Mathematica or Maple format for further analysis.