The complexity of deciding consistency of systems of polynomial in exponent inequalities (1992)

by N Vorobjov
Venue:J. Symbolic Comput