scientific article
From MaRDI portal
Publication:3705542
zbMath0582.13001MaRDI QIDQ3705542
Publication date: 1985
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)
Related Items
History and basic features of the critical-pair/completion procedure, Constructive lifting in graded structures: A unified view of Buchberger and Hensel methods, On an installation of Buchberger's algorithm, On the construction of Gröbner bases using syzygies, Flat families by strongly stable ideals and a generalization of Gröbner bases, Taylor and Lyubeznik resolutions via Gröbner bases.