Solving systems of polynomial inequalities in subexponential time (1988)

by D Y Grigor’ev, N V Jr
Venue:Journal of Symbolic Computation