论文标题
朝着自动发现Geogebra的几何定理
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 of the implementation, as well as methods to avoid combinatorial explosion when storing the interesting properties of a geometric figure.
