scientific article
From MaRDI portal
zbMath0546.68021MaRDI QIDQ3336682
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ideal membership problempolynomial ideal theoryGröbner-basiscanonical simplification problem modulo idealscritical-pair/completion algorithmuniform word problem for finitely generated commutative rings
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)
Related Items
Classification of three-dimensional covariant differential calculi on Podles' quantum spheres and on related spaces, Generalized Gröbner bases: Theory and applications. A condensation, Buchberger's algorithm: The term rewriter's point of view, History and basic features of the critical-pair/completion procedure, Critical pair criteria for completion, A generalization of reduction rings, Computing a Gröbner basis of a polynomial ideal over a Euclidean domain, On the D-bases of polynomial ideals over principal ideal domains, Lifting canonical algorithms from a ring R to the ring R[x], On the construction of Gröbner bases using syzygies, Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm, A survey on signature-based algorithms for computing Gröbner bases, Gröbner bases with coefficients in rings, On lucky ideals for Gröbner basis computations, Dynamical Gröbner bases over Dedekind rings, Mathematical Theory Exploration in Theorema: Reduction Rings, Combining Equational Reasoning, Gröbner bases in orders of algebraic number fields.
