搜索结果: 1-2 共查到“数学 Dierential Geometry”相关记录2条 . 查询时间(0.142 秒)
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 ...
Automated Reasoning in Dierential Geometry and Mechanics Using the Characteristic Set Method 1 Part I. An Improved Version of Ritt{Wu's Decomposition Algorithm
Dierential polynomial weak ascending chain W{prem Ritt{Wu's principle quasi zero set Ritt{Wu's decomposition algorithm
2013/9/9
This is the ˉrst paper of a series of three papers under the same title. It presents an improved version of Ritt{Wu's decomposition algorithm which is the basis of our methods of mechanical theorem pr...