Towards Automated Discovery of Geometrical Theorems in GeoGebra

1 code implementation • 24 Jul 2020 • Zoltán Kovács, Jonathan H. Yu

We describe a prototype of a new experimental GeoGebra command and tool Discover that analyzes geometric figures for salient patterns, properties, and theorems.