Automated Generation of Human-Readable Proofs in Geometry

该项目继续调查自动 几何学中定理的证明。 重点是短， 证明。 为此，新发现的面积法和新 基于其他几何概念的方法，如全角和 三角函数正在开发中。 这些技术的推广正在 寻求几何不等式以及非欧几里德和高维几何。 这些技术正在一个具有 复杂的图形显示。

This project continues investigation of automatic generation of proofs of theorems in geometry. The emphasis is on short and proofs. For this, the newly discovered area method and new methods based on other geometrical concepts, such as full angles and trigonometric functions, are being developed. Extension of these techniques are being sought to geometric inequalities as well as to non-Euclidean and higher- dimensional geometries. The techniques are being implemented in a system with a sophisticated graphics display.