%0 Journal Article %A N. N. Vorobjov (Jr.) %A D. Yu. Grigor'ev %T Solving systems of polynomial inequalities over real closed fields in subexponential time %J Zapiski Nauchnykh Seminarov POMI %D 1988 %P 3-36 %V 174 %I mathdoc %U http://geodesic.mathdoc.fr/item/ZNSL_1988_174_a0/ %G ru %F ZNSL_1988_174_a0