Firstly, any system of polynomial inequalities can be reduced to a system of quadratic inequalities by increasing the number of variables and equations (for example, by setting a square of a variable equal to a new variable).
Αρχικά, κάθε σύστημα από πολυωνιμικές ανισότητες μπορεί να μειωθεί σ' ένα σύστημα με τριγωνικές ανισότητες αυξάνοντας τον αριθμό των μεταβλητών και των εξισώσεων (για παράδειγμα θέτοντας ένα τετράγωνο μιας μεταβλητής με νέα μεταβλητή).