The theory of Gröbner bases is the basis of Mathematica's
Solve
and related functions. This article gives an introduction to the theory
via three applications: solving systems of polynomial equations, eliminating
parameters from polynomial equations, and a general polynomial interpolation
problem.