在 GeoGebra 中实现几何定理的自动发现
人工智能
2020-07-27 v1 历史与综述
摘要
我们描述了一个新的实验性 GeoGebra 命令和工具 Discover 的原型，该工具分析几何图形以寻找显著的模式、性质和定理。该工具是初等平面几何中自动发现的基本实现。本文重点介绍该实现的数学背景，以及在存储几何图形的有趣性质时避免组合爆炸的方法。
引用
@article{arxiv.2007.12447,
title = {Towards Automated Discovery of Geometrical Theorems in GeoGebra},
author = {Zoltán Kovács and Jonathan H. Yu},
journal= {arXiv preprint arXiv:2007.12447},
year = {2020}
}
备注
21 pages, 19 figures