Buchberger's Algorithm

The algorithm for the construction of a Gröbner basis from an arbitrary ideal basis. Buchberger's algorithm relies on the concepts of S-polynomial and polynomial reduction modulo a set of polynomials, the latter being the most computationally intensive part of the algorithm.

See also

Gröbner Basis, Knuth-Bendix Completion Algorithm

Explore with Wolfram|Alpha


Becker, T. and Weispfenning, V. Gröbner Bases: A Computational Approach to Commutative Algebra. New York: Springer-Verlag, pp. 213-214, 1993.Buchberger, B. "Theoretical Basis for the Reduction of Polynomials to Canonical Forms." SIGSAM Bull. 39, 19-24, Aug. 1976.Cox, D.; Little, J.; and O'Shea, D. Ideals, Varieties, and Algorithms: An Introduction to Algebraic Geometry and Commutative Algebra, 2nd ed. New York: Springer-Verlag, 1996.Giovini, A.; Mora, T.; Niesi, G.; Robbiano, L.; and Traverso, C. "One Sugar Cube, Please?, or Selection Strategies in the Buchberger Algorithm." Proceedings of the International Symposium on Symbolic and Algebraic Computation. pp. 49-54, June 1991.

Referenced on Wolfram|Alpha

Buchberger's Algorithm

Cite this as:

Weisstein, Eric W. "Buchberger's Algorithm." From MathWorld--A Wolfram Web Resource.

Subject classifications