×

zbMATH — the first resource for mathematics

“One sugar cube, please” or selection strategies in the Buchberger algorithm. (English) Zbl 0933.68161
Watt, Stephen M. (ed.), ISSAC ’91. Proceedings of the 1991 international symposium on Symbolic and algebraic computation. Bonn, Germany, July 15–17, 1991. New York, NY: ACM Press, 49-54 (1991).

MSC:
68W30 Symbolic computation and algebraic computation
13P10 Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
Software:
CoCoA; Macaulay2
PDF BibTeX XML Cite