搜索结果: 1-1 共查到“代数学 Bertrand curves.”相关记录1条 . 查询时间(0.093 秒)
Automated Reasoning in Di®erential Geometry and Mechanics Using Characteristic Method IV. Bertrand Curves
Mechanical theorem proving metric dierential geometry a±ne dierential geometry Bertrand curves.
2013/9/9
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 di®erential geomet...