Towards Automated Discovery of Geometrical Theorems in GeoGebra
This work addresses the challenge of automated geometric discovery for educational or mathematical software users, but it is incremental as it builds on existing concepts with a basic implementation.
The authors tackled the problem of automating theorem discovery in planar geometry by developing a prototype GeoGebra tool called Discover that analyzes geometric figures for patterns and properties, with a focus on methods to prevent combinatorial explosion in storing these properties.
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.