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) |
Abstract
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.
| Item Type: | Article |
|---|---|
| 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):
