Solving polynomial inequalities