搜索结果: 1-2 共查到“代数学 erence”相关记录2条 . 查询时间(0.043 秒)
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...
Decomposition of Ordinary Di®erence Polynomials
Functional decomposition dierence polynomial dierence operator dierence degree.
2013/9/9
In this paper, we present an algorithm to decompose ordinary nonlinear dierence polynomials with rational functions as coe±cients. The algorithm provides an eective reduction of the decomposition of d...