Gröbner bases in difference-differential modules
Meng Zhou, Franz Winkler · 2006
We extend the theory of Gröbner bases to difference-differential modules. The main goal of this paper is to present and verify algorithms for constructing Gröbner bases for such difference-differential modules. To this aim we introduce the concept of generalized term order on Nm × Zn and on difference-differential modules.