搜索结果: 1-1 共查到“信息科学与系统科学 CURVES”相关记录1条 . 查询时间(0.132 秒)
AUTOMATED REASONING IN DIFFERENTIAL GEOMETRY AND MECHANICS USING THE CHARACTERISTIC METHOD Ⅳ. Bertrand Curves
Mechanical theorem proving metric differ
2007/8/7
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving for differential geometry. ...