论文标题
Wolfram语言中的区域方法
The Area Method in the Wolfram Language
论文作者
论文摘要
该区域方法是Chou等人开发的几何形状的决策程序。在1990年代。该方法旨在通过应用消除引理将指定的假设减少为代数可验证的形式。施加引理的顺序由陈述的猜想和潜在的几何结构确定。在本文中，我们介绍了欧几里得几何形状的区域方法作为独立的Mathematica软件包。
The area method is a decision procedure for geometry developed by Chou et al. in the 1990's. The method aims to reduce the specified hypothesis to an algebraically verifiable form by applying elimination lemmas. The order in which the lemmas are applied is determined by the stated conjecture and the underlying geometric construction. In this paper we present our implementation of the area method for Euclidean geometry as a stand-alone Mathematica package.
