搜索结果: 1-1 共查到“几何学 Characteristic Method”相关记录1条 . 查询时间(0.057 秒)
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 ...