利用 Tarski 在 GeoGebra 中支持几何不等式的证明与发现
逻辑
2022-01-04 v1
摘要
我们介绍一套能够自动证明或发现几何不等式的软件工具系统。该系统称为 GeoGebra Discovery，由 GeoGebra 的扩展版本、控制器 Web 服务 realgeom 以及计算工具 Tarski（在 QEPCAD B 系统的大量帮助下）组成，成功解决了欧几里得平面几何中若干与不等式相关的非平凡问题。
引用
@article{arxiv.2201.00544,
title = {Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski},
author = {Christopher W. Brown and Zoltán Kovács and Róbert Vajda},
journal= {arXiv preprint arXiv:2201.00544},
year = {2022}
}
备注
In Proceedings ADG 2021, arXiv:2112.14770