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

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