Relative Gröbner and involutive bases for ideals in quotient rings
From MaRDI portal
Publication:2051594
DOI10.1007/s11786-021-00513-4zbMath1489.13044OpenAlexW3164277742MaRDI QIDQ2051594
Amir Hashemi, Matthias Orth, Werner M. Seiler
Publication date: 24 November 2021
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11786-021-00513-4
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Syzygies, resolutions, complexes and commutative rings (13D02)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An algorithm for computing a Gröbner basis of a polynomial ideal over a ring with zero divisors
- Involution. The formal theory of differential equations and its applications in computer algebra
- A combinatorial approach to involution and \(\delta \)-regularity. II: Structure analysis of polynomial modules with Pommaret bases
- Strategies for computing minimal free resolutions
- A new efficient algorithm for computing Gröbner bases \((F_4)\)
- Involutive bases of polynomial ideals
- Minimal involutive bases
- Deterministic genericity for polynomial ideals
- An efficient algebraic algorithm for the geometric completion to involution
- Toward involutive bases over effective rings
- Zacharias representation of effective associative rings
- Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
- Buchberger-Weispfenning theory for effective associative rings
- Strong Gröbner bases for polynomials over a principal ideal ring
- De Nugis Groebnerialium 4
- Syzygies, finite length modules, and random curves
- A new framework for computing Gröbner bases
- On Connection Between Constructive Involutive Divisions and Monomial Orderings
- Using Algebraic Geometry
- Effective Genericity, δ-Regularity and Strong Noether Position
- Ideals, Varieties, and Algorithms
