论文标题
开放的几何摊贩社区项目
Open Geometry Prover Community Project
论文作者
论文摘要
数学证明无疑是数学的基石。 在过去的几年中，计算和推理工具的出现，尤其是自动化的几何定理掠夺，使我们在数学方面的经验丰富了。 为了避免不同的努力，在共同的“伞”下，开放的几何供社社区项目的目标是整合不同的几何学自动化定理掠夺的努力。 在本文中，指定了此类集成的必要步骤，并描述了其中一些步骤的当前实现。
Mathematical proof is undoubtedly the cornerstone of mathematics. The emergence, in the last years, of computing and reasoning tools, in particular automated geometry theorem provers, has enriched our experience with mathematics immensely. To avoid disparate efforts,the Open Geometry Prover Community Project aims at the integration of the different efforts for the development of geometry automated theorem provers, under a common "umbrella". In this article the necessary steps to such integration are specified and the current implementation of some of those steps is described.
