# Towards Automated Discovery of Geometrical Theorems in GeoGebra

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

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 24 Jul 2020.

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

- [Four Geometry Problems to Introduce Automated Deduction in Secondary Schools](https://mlsanity.com/paper/2202.03566/) (2022)

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