Comment by abdullahkhalids

Can the method of Grobner bases also be used to solve systems of polynomial inequalities?