ALGORITHM AND IMPLEMENTATION OF MECHANICAL PROVING OF A CLASS OF THEOREMS IN ELEMENTARY DIFFERENTIAL GEOMETRY

• 一类初等微分几何定理机器证明的算法与实现