搜索结果: 1-3 共查到“代数学 Automated reasoning”相关记录3条 . 查询时间(0.062 秒)
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...
Automated Reasoning in Di®erential Geometry and Mechanics Using Characteristic Method IV. Bertrand Curves
Mechanical theorem proving metric dierential geometry a±ne dierential geometry Bertrand curves.
2013/9/9
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving for di®erential geomet...
Automated Reasoning in Di®erential Geometry and Mechanics Using the Characteristic Set Method 1 Part II. Mechanical Theorem Proving
Mechanical theorem proving Wu's method Ritt{Wu's decomposition algorithm statement of equation type generally true universally true space curve theory elementary mechanics
2013/9/9
We clarify the formulation problem of mechanical theorem proving in di®erential geometry and mechanics and propose two formulations. We present complete methods of mechanical theorem proving for ...