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

曹丽娜;李洪波

Algorithm and Implementation of Mechanical Proving of a Class of Theorems in Elementary Differential Geometry

Cao Lina;Li Hongbo

系统科学与数学 . 2006, (4): 395 -401 . DOI: 10.12341/jssms10268