Online Generation of Proofs Without Words
Alexander Thaller (Linz School of Education, Linz, Austria), Zolt\'an, Kov\'acs (The Private University College of Education of the Diocese of Linz,, Linz, Austria)

TL;DR
This paper introduces an online tool that generates visual proofs of geometric statements by integrating a geometric deduction database with GeoGebra, making geometric reasoning more accessible and interactive.
Contribution
It combines a geometric deduction database with GeoGebra to create an online platform for generating proofs without words, enhancing educational tools.
Findings
Enables automatic creation of visual geometric proofs
Integrates geometric deduction database with GeoGebra
Facilitates online, interactive learning of geometry
Abstract
Understanding geometric relationships with little mathematical knowledge can be challenging for today's students and teachers. A new toolset is introduced that is able to create a proof without words by combining the benefits of the Geometric Deduction Database method (to obtain a readable proof of a geometric statement) and the GeoGebra framework (that makes it possible to export these data as an online applet in a simple way).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
