Elimination Theory for differential difference polynomials

Mansfield, Elizabeth L., Szanto, A. (2003) Elimination Theory for differential difference polynomials. Proceedings of the 2003 International Symposium for Symbolic Algebra and Computation, . pp. 191-198. (doi:10.1145/860854.860897) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:10604)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
Official URL: http://doi.acm.org/10.1145/860854.860897

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
DOI/Identification number:	10.1145/860854.860897
Subjects:	Q Science > QA Mathematics (inc Computing science)
Divisions:	Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Mathematics, Statistics and Actuarial Science
Depositing User:	Elizabeth Mansfield
Date Deposited:	10 Sep 2008 12:40 UTC
Last Modified:	05 Nov 2024 09:43 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/10604 (The current URI for this page, for reference purposes)

University of Kent Author Information

Mansfield, Elizabeth L..

Creator's ORCID:	https://orcid.org/0000-0002-6778-2241
CReDIT Contributor Roles:

Depositors only (login required):

Altmetric

Download Statistics

Total unique views for this document in KAR since July 2020. For more details click on the image.