Mansfield, E.L. and Szanto, A. (2003) Elimination Theory for differential difference polynomials. Proceedings of the 2003 International Symposium for Symbolic Algebra and Computation . pp. 191-198.
|The full text of this publication is not available from this repository. (Contact us about this Publication)|
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.
|Subjects:||Q Science > QA Mathematics (inc Computing science)|
|Divisions:||Faculties > Science Technology and Medical Studies > School of Mathematics Statistics and Actuarial Science > Applied Mathematics|
|Depositing User:||Judith Broom|
|Date Deposited:||10 Sep 2008 12:40|
|Last Modified:||14 Jan 2010 14:41|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/10604 (The current URI for this page, for reference purposes)|
- Depositors only (login required):