Solving systems of polynomial inequalities in subexponential time (1988)

by D Grigor’ev, N Vorobjov
Venue:J. Symbolic Comput