The algorithm for the construction of a Gröbner Basis from an arbitrary ideal basis.
See also Gröbner Basis
References
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.