Towards Automated Discovery of Geometrical Theorems in GeoGebra
Not on the map. Why?
Abstract (arXiv)
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.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). First posted on arXiv 24 Jul 2020.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2022: 1.
1 paper.