GeoGebra 中几何定理的自动发现
计算几何
2022-02-10 v1 代数几何
摘要
我们描述了一个新的实验性 GeoGebra 命令和工具——Discover 的原型，该工具分析几何图形以寻找显著的模式、性质和定理。该工具是初等平面几何中自动发现的基本实现。本文重点介绍该实现的数学背景，以及在存储几何图形的有趣性质时避免组合爆炸的方法。
引用
@article{arxiv.2202.04627,
title = {Automated Discovery of Geometrical Theorems in GeoGebra},
author = {Zoltán Kovács and Jonathan H. Yu},
journal= {arXiv preprint arXiv:2202.04627},
year = {2022}
}
备注
In Proceedings ThEdu'21, arXiv:2202.02144. arXiv admin note: substantial text overlap with arXiv:2007.12447