Termination of algorithm for computing relative Gröbner bases and difference differential dimension polynomials

DOI10.1007/s11464-015-0439-1zbMath1326.12003MaRDI QIDQ2355653

Meng Zhou, Guanli Huang

Publication date: 24 July 2015

Published in: Frontiers of Mathematics in China (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11464-015-0439-1

zbMATH Keywords

difference-differential module; relative Gröbner basis; bivariate dimension polynomial; termination of algorithm

Mathematics Subject Classification ID

13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)

12H05: Differential algebra

12H10: Difference algebra

Related Items

Relative reduction and Buchberger's algorithm in filtered free modules

Uses Software

• Maple

Cites Work

• Unnamed Item
• Unnamed Item
• Characterization of relative Gröbner bases
• Computing difference-differential dimension polynomials by relative Gröbner bases in difference-differential modules
• Gröbner bases for ideals in Laurent polynomial rings and their application to systems of difference equations
• A Gröbner basis method for modules over rings of differential operators
• Reduced Gröbner bases, free difference-differential modules and difference-differential dimension polynomials
• Gröbner bases with respect to several orderings and multivariable dimension polynomials
• Gröbner bases in difference-differential modules
• Gröbner basis and the problem of contiguous relations
• The notion of dimension in the theory of algebraic differential equations