Online Generation of Proofs Without Words
arXiv:2201.07274 · doi:10.4204/EPTCS.352.10
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).
In Proceedings ADG 2021, arXiv:2112.14770