Wolfram语言中的面积法
计算机科学中的逻辑
2022-01-04 v1
摘要
面积法是由Chou等人于1990年代开发的几何判定过程。该方法旨在通过应用消元引理，将所给假设化为代数可验证形式。引理的应用顺序由所述猜想及底层几何构造决定。在本文中，我们给出面积法在欧几里得几何上的实现，作为一个独立的Mathematica包。
关键词
引用
@article{arxiv.2201.00538,
title = {The Area Method in the Wolfram Language},
author = {Jack Heimrath},
journal= {arXiv preprint arXiv:2201.00538},
year = {2022}
}
备注
In Proceedings ADG 2021, arXiv:2112.14770