Comment by abdullahkhalids

Completely off topic question. Can Grobner basis techniques be used to solve a set of quadratic inequalities?