# Automated Discovery of Geometrical Theorems in GeoGebra

arXiv: https://arxiv.org/abs/2202.04627 · HTML: https://mlsanity.com/paper/2202.04627/

## Key facts

- Cited by 3 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 8 Feb 2022.

## Built on by (most cited first, 3 of 3)

- [FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving](https://mlsanity.com/paper/2310.18021/) (2023)
- [A Survey of Deep Learning for Geometry Problem Solving](https://mlsanity.com/paper/2507.11936/) (2025)
- [Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry](https://mlsanity.com/paper/2401.11905/) (2024)

## 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.