搜索结果: 1-1 共查到“理学 Local Theory”相关记录1条 . 查询时间(0.125 秒)
Mechanical Theorem Proving of the Local Theory of Surfaces
Mechanical Theorem Proving Local Theory Surfaces
2013/9/3
The present paper applies the characteristic set method of algebraic differential polynomials to give a mechanical procedure which permits us to prove non-trivial theorems in the local theory of surfa...