Towards Automated Discovery of Geometrical Theorems in GeoGebra
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...
Gespeichert in:
Hauptverfasser: | , |
---|---|
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext bestellen |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | 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. |
---|---|
DOI: | 10.48550/arxiv.2007.12447 |