Solving systems of polynomial inequalities over a real closed field in subexponential time
[For the entire collection see Zbl 0657.00011.] See the review in Zbl 0683.65045.
scientific article; zbMATH DE number 4199502
scientific article