Solving Polynomial Equation Systems II: Macaulay's Paradigm and Gröbner Technology (Encyclopedia of Mathematics and its Applications) (v. 2)