scientific article; zbMATH DE number 3870585

MaRDI QIDQ3336682zbMATHFDO

Authors Bruno Buchberger

Publication date 1984

zbMATH Keywords

ideal membership problempolynomial ideal theoryGröbner-basiscanonical simplification problem modulo idealscritical-pair/completion algorithmuniform word problem for finitely generated commutative rings

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Polynomials over commutative rings (13B25) Ideals and multiplicative ideal theory in commutative rings (13A15) Polynomials and finite commutative rings (13M10)

Recommendations

• An algorithm for computing the factor ring of an ideal in Dedekind domain with finite rank
• Computational ideal theory in finitely generated extension rings
• An algorithm for unimodular completion over noetherian rings
• An algorithm to generate the ideals of a partial order
• An algorithmic approach to the existence of ideal objects in commutative algebra
• Computing restrictions of ideals in finitely generated \(k\)-algebras by means of Buchberger's algorithm
• scientific article; zbMATH DE number 1071735
• An algorithm for producing F-pure ideals
• Completion of Factor Algebras of Ideals
• Computing intersections, dual and divisorial closure of ideals in a class of rings

Cited in

(25)

• Mathematical theory exploration in Theorema: reduction rings
• Axiomatic definition of small cancellation rings
• Gröbner bases with coefficients in rings
• Lifting canonical algorithms from a ring R to the ring R[x]
• Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm
• scientific article; zbMATH DE number 3930347 (Why is no real title available?)
• Generalized Gröbner bases: Theory and applications. A condensation
• On the construction of Gröbner bases using syzygies
• Dynamical Gröbner bases over Dedekind rings
• Sistemi normali di generatori per gli ideali di \(Z[X]\)
• Algorithm 628
• Gröbner bases in orders of algebraic number fields.
• Buchberger's algorithm: The term rewriter's point of view
• A survey on signature-based algorithms for computing Gröbner bases
• Combining equational reasoning
• scientific article; zbMATH DE number 4045140 (Why is no real title available?)
• Critical pair criteria for completion
• History and basic features of the critical-pair/completion procedure
• Symideal Gröbner bases
• \(D\)-bases for polynomial ideals over commutative Noetherian rings
• On the D-bases of polynomial ideals over principal ideal domains
• Classification of three-dimensional covariant differential calculi on Podles' quantum spheres and on related spaces
• A generalization of reduction rings
• On lucky ideals for Gröbner basis computations
• Computing a Gröbner basis of a polynomial ideal over a Euclidean domain

This page was built for publication:

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