RISC RISC Research Institute for Symbolic Computation  
  • @techreport{RISC2734,
    author = {Meng Zhou and Franz Winkler},
    title = {{Grobner bases in difference-differential modules and their applications}},
    language = {english},
    abstract = {In this paper we will extend the theory of Gr\"obner bases to difference-differential modules which were introduced by Levin(2000) as a generalization of modules over rings of differential operators. The main goal of this paper is to present and verify algorithms for constructing these Gr\"obner basis counterparts. To this aim we define the concept of ''generalized term order'' on ${\Bbb N}^m \times {\Bbb Z}^n$ and on difference-differential modules. The relation between the Gr\"obner bases and some characteristic sets in the modules is also considered. As applications, we can compute the difference-differential dimension polynomial of a difference-differential module and of a system of linear partial difference-differential equations via the Gr\"obner bases.},
    number = {05-14},
    year = {2005},
    month = {October},
    keywords = {Gr\"obner basis, generalized term order, difference-differential module, difference-differential dimension polynomial.},
    sponsor = {This work has been supported by the FWF project P16357-N04, while the first author spent a research year at RISC-Linz.},
    length = {29},
    type = {RISC Report Series},
    institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
    address = {Schloss Hagenberg, 4232 Hagenberg, Austria}