Publication:4889407

zbMath0852.03005MaRDI QIDQ4889407

D.Tătar

Publication date: 22 October 1996

zbMATH Keywords

computer algebra; Buchberger algorithm; reduction ring; Groebner base; boolean polynomials

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)

03B35: Mechanization of proofs and logical operations