搜索结果: 1-2 共查到“代数学 Mechanical Theorem Proving”相关记录2条 . 查询时间(0.062 秒)
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 ...
Mechanical Theorem Proving of the Local Theory of Surfaces
Mechanical Theorem Proving Local Theory Surfaces
2013/9/3
The present paper applies the characteristic set method of algebraic differential polynomials to give a mechanical procedure which permits us to prove non-trivial theorems in the local theory of surfa...