搜索结果: 1-2 共查到“理学 erence polynomial”相关记录2条 . 查询时间(0.078 秒)
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
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
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...