Un système d'équations polynomiales est un ensemble d'équations dans lequel une variable donnée doit prendre la même valeur partout où elle apparaît dans toutes les équations.
Une "équation quadratique" est une équation dans laquelle l'exposant le plus important sur n'importe quel terme est 2.