Relative Gröbner and involutive bases for ideals in quotient rings

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

zbMATH Keywords

Gröbner basesquotient ringspolynomial ringsidealssyzygy moduleinvolutive basesquasi-stable ideals

Mathematics Subject Classification ID

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 (2)

De Nugis Groebnerialium 7: Janet, Gerdt, Tamari ⋮ RelativeInvolutiveBases.mpl

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

This page was built for publication: Relative Gröbner and involutive bases for ideals in quotient rings