scientific article
From MaRDI portal
Publication:3677849
zbMath0564.13001MaRDI QIDQ3677849
Abdelilah Kandri Rody, Deepak Kapur
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to commutative algebra (13-04) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Ideals and multiplicative ideal theory in commutative rings (13A15)
Related Items (17)
A solution to Kronecker's problem ⋮ Generalized Gröbner bases: Theory and applications. A condensation ⋮ Computer algebra: Past and future ⋮ Standard bases in mixed power series and polynomial rings over rings ⋮ History and basic features of the critical-pair/completion procedure ⋮ Computing a Gröbner basis of a polynomial ideal over a Euclidean domain ⋮ A refutational approach to geometry theorem proving ⋮ Shirshov composition techniques in Lie superalgebras (noncommutative Gröbner bases) ⋮ Standard bases over Euclidean domains ⋮ On the construction of Gröbner bases using syzygies ⋮ Efficient Gröbner bases computation over principal ideal rings ⋮ Zacharias representation of effective associative rings ⋮ Non-commutative Gröbner bases in algebras of solvable type ⋮ Computational ideal theory in finitely generated extension rings ⋮ A categorical critical-pair completion algorithm ⋮ On Gröbner bases under specialization ⋮ The reduction ring property is hereditary
This page was built for publication:
