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.