搜索结果: 1-1 共查到“几何学 Dierential Geometry”相关记录1条 . 查询时间(0.062 秒)
Automated Reasoning in Dierential Geometry and Mechanics Using Characteristic Method 1 III. Mechanical Formula Derivation
Automated Reasoning Dierential Geometry Mechanics Characteristic Method Mechanical Formula Derivation
2013/9/9
In this paper, methods of mechanical deriving of formulas from a set of di®erential polynomial equations and a set of di®erential polynomial inequations are presented. The methods have been ...