搜索结果: 1-1 共查到“应用数学 Differential Geometry”相关记录1条 . 查询时间(0.043 秒)
ORDERING IN AUTOMATED THEOREMPROVING OF DIFFERENTIAL GEOMETRY
Wu's method ordering
font style='font-size:12px;'>
2007/12/11
A new ordering method is proposed for automated theorem proving of differential geometry,by which Cartan's moving frame method can be combined with Wu's elimination principle.