Solving Polynomial Inequalities