Elimination theory for differential difference polynomials
EL Mansfield, A Szanto�- …�of the 2003 international symposium on�…, 2003 - dl.acm.org
Proceedings of the 2003 international symposium on symbolic and algebraic�…, 2003•dl.acm.org
In this paper we give an elimination algorithm for differential difference polynomial systems.
We use the framework of a generalization of Ore algebras, where the independent variables
are non-commutative. We prove that for certain term orderings, Buchberger's algorithm
applied to differential difference systems terminates and produces a Gr�bner basis.
Therefore, differential-difference algebras provide a new instance of non-commutative
graded rings which are effective Gr�bner structures.
We use the framework of a generalization of Ore algebras, where the independent variables
are non-commutative. We prove that for certain term orderings, Buchberger's algorithm
applied to differential difference systems terminates and produces a Gr�bner basis.
Therefore, differential-difference algebras provide a new instance of non-commutative
graded rings which are effective Gr�bner structures.
In this paper we give an elimination algorithm for differential difference polynomial systems. We use the framework of a generalization of Ore algebras, where the independent variables are non-commutative. We prove that for certain term orderings, Buchberger's algorithm applied to differential difference systems terminates and produces a Gr�bner basis. Therefore, differential-difference algebras provide a new instance of non-commutative graded rings which are effective Gr�bner structures.
ACM Digital Library