Termination of algorithm for computing relative Gröbner bases and difference differential dimension polynomials
From MaRDI portal
Publication:2355653
DOI10.1007/s11464-015-0439-1zbMath1326.12003MaRDI QIDQ2355653
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
difference-differential module; relative Gröbner basis; bivariate dimension polynomial; termination of algorithm
13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
12H05: Differential algebra
12H10: Difference algebra
Related Items
Uses Software
Cites Work
- 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
- Unnamed Item
- Unnamed Item