Computation of Difference Grobner Bases

This paper is an updated and extended version of our note \cite{GR'06} (cf.\ also \cite{GR-ACAT}). To compute difference \Gr bases of ideals generated by linear polynomials we adopt to difference polynomial rings the involutive algorithm based on Janet-like division. The algorithm has been impl...

Full description

Bibliographic Details
Main Authors: Vladimir P. Gerdt, Daniel Robertz
Format: Article
Language:English
Published: Institute of Mathematics and Computer Science of the Academy of Sciences of Moldova 2012-07-01
Series:Computer Science Journal of Moldova
Online Access:http://www.math.md/files/csjm/v20-n2/v20-n2-(pp203-226).pdf