Online Generation of Proofs Without Words
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).
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2022
- DOI:
- 10.48550/arXiv.2201.07274
- arXiv:
- arXiv:2201.07274
- Bibcode:
- 2022arXiv220107274T
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- In Proceedings ADG 2021, arXiv:2112.14770