Algorithm and Implementation of Mechanical Proving of a Class of Theorems in Elementary Differential Geometry
Cao Lina;Li Hongbo
Journal of System Science and Mathematical Science Chinese Series ›› 2006, Vol. 26 ›› Issue (4) : 395-401.
Algorithm and Implementation of Mechanical Proving of a Class of Theorems in Elementary Differential Geometry
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |