Deciding Geometric Properties Symbolically in GeoGebra

TSG 18: Reasoning and proof in mathematics education


  • Markus Hohenwarter Johannes Kepler University, Linz, Austria
  • Zoltán Kovács Johannes Kepler University, Linz, Austria
  • Tomás Recio University of Cantabria, Santander, Spain


It is well known that Dynamic Geometry (DGS) software systems can be useful tools in the teaching/learning of reasoning and proof. GeoGebra 5.0 was recently extended by an Automated Theorem Prover (ATP) subsystem that is able to compute proofs of Euclidean geometry statements. Free availability and portability of GeoGebra has made it possible to harness these novel techniques on tablets, smartphones and computers. Then, we think it is urgently necessary to address the new challenges posed by the availability of geometric ATP’s to millions of students worldwide.