搜索结果: 1-1 共查到“应用数学 Differential geometry”相关记录1条 . 查询时间(0.062 秒)
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.