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

DOI10.1007/S11464-015-0439-1zbMATH Open1326.12003OpenAlexW1967461007MaRDI QIDQ2355653FDOQ2355653

Authors: Guanli Huang, Meng Zhou 

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

Recommendations

• Computing difference-differential dimension polynomials by relative Gröbner bases in difference-differential modules
• Gröbner bases with respect to several orderings on difference-differential modules and multivariate dimension polynomials
• Reduced Gröbner bases, free difference-differential modules and difference-differential dimension polynomials
• Gröbner bases in difference-differential modules and difference-differential dimension polynomials
• Computing bivariate dimension polynomials in difference-differential modules via Gröbner bases

zbMATH Keywords

difference-differential modulebivariate dimension polynomialtermination of algorithmrelative Gröbner basis

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Differential algebra (12H05) Difference algebra (12H10)

Cites Work

• Gröbner basis and the problem of contiguous relations
• Title not available (Why is that?)
• Gröbner bases in difference-differential modules
• 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
• Gröbner bases with respect to several orderings and multivariable dimension polynomials
• Characterization of relative Gröbner bases
• Reduced Gröbner bases, free difference-differential modules and difference-differential dimension polynomials
• The notion of dimension in the theory of algebraic differential equations
• A Gröbner basis method for modules over rings of differential operators
• Bivariate difference-differential dimension polynomials and their computation in Maple

Cited In (2)

• Computing bivariate dimension polynomials in difference-differential modules via Gröbner bases
• Relative reduction and Buchberger's algorithm in filtered free modules

Uses Software

• Maple

This page was built for publication: Termination of algorithm for computing relative Gröbner bases and difference differential dimension polynomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2355653)