Towards Automated Discovery of Geometrical Theorems in GeoGebra
From MaRDI portal
Publication:6345754
arXiv2007.12447MaRDI QIDQ6345754
Author name not available (Why is that?)
Publication date: 24 July 2020
Abstract: 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.
Has companion code repository: https://github.com/kovzol/geogebra-discovery
This page was built for publication: Towards Automated Discovery of Geometrical Theorems in GeoGebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6345754)
