Automated Discovery of Geometrical Theorems in GeoGebra
Computational Geometry
2022-02-10 v1 Algebraic Geometry
Abstract
We describe a prototype of a new experimental GeoGebra command and tool, Discover, that analyzes geometric figures for salient patterns, properties, and theorems. This tool is a basic implementation of automated discovery in elementary planar geometry. The paper focuses on the mathematical background of the implementation, as well as methods to avoid combinatorial explosion when storing the interesting properties of a geometric figure.
Keywords
Cite
@article{arxiv.2202.04627,
title = {Automated Discovery of Geometrical Theorems in GeoGebra},
author = {Zoltán Kovács and Jonathan H. Yu},
journal= {arXiv preprint arXiv:2202.04627},
year = {2022}
}
Comments
In Proceedings ThEdu'21, arXiv:2202.02144. arXiv admin note: substantial text overlap with arXiv:2007.12447