  Solving polynomial equations is a subtask of polynomial optimization. This
article introduces systems of such equations and the main approaches for
solving them. We discuss critical point equations, algebraic varieties, and
solution counts. The theory is illustrated by many examples using different
software packages.
