ABSTRACT
In addition to a brief exposition of the standard theory of (commutative) Gröbner bases, we also discuss some aspects of the theory that are not usually presented in much detail in textbooks: Robbiano’s classification of monomial orders, and upper and lower bounds on the complexity of computing Gröbner bases. See the appropriate sections for bibliographical information.
