Constructing Gröbner bases for Noetherian rings

DOI10.1017/S0960129513000509MaRDI QIDQ5740356zbMATH OpenWikidataFDO

Authors Hervé Perdry, Peter Schuster

Publication date 26 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Recommendations

• Gröbner bases for the modules over noetherian polynomial commutative rings
• Gröbner bases for some toric rings
• Gröbner bases with coefficients in rings
• Publication:3470575
• scientific article; zbMATH DE number 4077463
• Comprehensive Gröbner bases and regular rings
• Two-element Gröbner bases over Noetherian commutative rings
• scientific article; zbMATH DE number 1163436
• Gröbner bases in commutative algebra
• Some results on Gröbner bases over commutative rings

Cites work

• A course in constructive algebra
• A logical approach to abstract algebra
• An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
• Commutative coherent rings
• Constructive topology and combinatorics
• Dynamical Gröbner bases
• Dynamical Gröbner bases over Dedekind rings
• Essays in Constructive Mathematics
• Lazy bases: a minimalist constructive theory of Noetherian rings
• Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30--July 5, 2006. Proceedings.
• Noetherian orders
• Proving open properties by induction
• Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
• Strongly Noetherian rings and constructive ideal theory
• The Ascending Tree Condition: Constructive Algebra Without Countable Choice
• The Gröbner ring conjecture in one variable
• What is Noetherian?

Cited in

(14)

• Syntax for semantics: Krull's maximal ideal theorem
• scientific article; zbMATH DE number 4008530 (Why is no real title available?)
• Lazy bases: a minimalist constructive theory of Noetherian rings
• Enhancing the Extended Hensel Construction by Using Gröbner Bases
• The trailing terms ideal
• Two-element Gröbner bases over Noetherian commutative rings
• Noetherian orders
• Do Noetherian modules have Noetherian basis functions?
• scientific article; zbMATH DE number 5846112 (Why is no real title available?)
• Gröbner rings
• \(D\)-bases for polynomial ideals over commutative Noetherian rings
• Strongly Noetherian rings and constructive ideal theory
• Generalized Gröbner bases: Theory and applications. A condensation
• Computing bases of complete intersection rings in Noether position

This page was built for publication: Constructing Gröbner bases for Noetherian rings

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