Constructing Gröbner bases for Noetherian rings

DOI10.1017/S0960129513000509zbMath1342.68365WikidataQ59899709 ScholiaQ59899709MaRDI QIDQ5740356

Hervé Perdry, Peter M. 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)

Related Items

Syntax for Semantics: Krull’s Maximal Ideal Theorem

Cites Work

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