On Mechanical Theorem-proving in Elementary Geometry

• 初等几何定理的机器证明