Online Generation of Proofs Without Words
Logic in Computer Science
2022-01-20 v1
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).
Cite
@article{arxiv.2201.07274,
title = {Online Generation of Proofs Without Words},
author = {Alexander Thaller and Zoltán Kovács},
journal= {arXiv preprint arXiv:2201.07274},
year = {2022}
}
Comments
In Proceedings ADG 2021, arXiv:2112.14770