论文标题
自动发现地gegebra的几何定理
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.
