搜索结果: 1-6 共查到“理学 characteristic set method”相关记录6条 . 查询时间(0.14 秒)
Ritt-Wu's Characteristic Set Method For Ordinary Di®erence Polynomial Systems With Arbitrary Ordering
dierence polynomial ascending chain characteristic set Ritt-Wu's zero decomposition theorem
font style='font-size:12px;'>
2013/9/9
In this paper, a new Ritt-Wu's characteristic set method for ordinary di®erence systems is proposed, which is valid for any admissible ordering. New deˉnition for irreducible chains and new zero ...
A Characteristic Set Method For Ordinary Di®erence Polynomial Systems
di® erence polynomial ascending chain characteristic set coherence irreducibility zero decomposition theorem automated theorem proving
font style='font-size:12px;'>
2013/9/9
We prove several basic properties for di®erence ascending chains including a necessary and su±cient condition for an ascending chain to be the characteristic set of its saturation ideal and a nec...
Characteristic set method for differential-difference polynomial systems
Characteristic set Differential and difference polynomial Regular ascending chain Irreducible ascending chain Zero decomposition algorithm Perfect ideal membership problem
font style='font-size:12px;'>
2013/9/9
In this paper, we present a characteristic set method for mixed differential and difference polynomial systems. We introduce the concepts of coherent, regular, proper irreducible, and strongly irreduc...
Characteristic Set Method for Dierential-Dierence Polynomial Systems
Characteristic set dierence and dierential polynomial coherent ascending chain regular ascending chain irreducible ascending chain zero decomposition algorithm
font style='font-size:12px;'>
2013/9/9
In this paper, we present a characteristic set method for mixed dierence and dierential polynomial systems. We introduce the concepts of coherent, regular,proper irreducible, and strong irreducible as...
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
font style='font-size:12px;'>
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 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
font style='font-size:12px;'>
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 ...