Publication:4394970
From MaRDI portal
zbMath0926.13016MaRDI QIDQ4394970
Publication date: 9 November 1999
13F20: Polynomial rings and ideals; rings of integer-valued polynomials
13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
Related Items
Some intuitionistic equivalents of classical principles for degree 2 formulas, Strongly Noetherian rings and constructive ideal theory