利用GeoGebra Discovery自动推理求解Náboj 2023竞赛中的若干几何问题
历史与综述
2024-01-26 v1 人工智能
计算几何
符号计算
摘要
在本文中，我们借助计算机，使用软件工具GeoGebra Discovery能够计算的示例，求解了Náboj 2023竞赛中的一些几何问题。在每种情况下，计算都需要符号运算。我们分析了将问题输入机器的难度，并设定了进一步的目标，以使此类竞赛问题在未来更易于处理。
引用
@article{arxiv.2401.13703,
title = {Solving Some Geometry Problems of the N\'aboj 2023 Contest with Automated Deduction in GeoGebra Discovery},
author = {Amela Hota and Zoltán Kovács and Alexander Vujic},
journal= {arXiv preprint arXiv:2401.13703},
year = {2024}
}
备注
In Proceedings ADG 2023, arXiv:2401.10725