%0 Journal Article %A N. N. Vorobjov (Jr.) %A D. Yu. Grigor'ev %T Finding real solutions of systems of algebraic inequalities in %J Doklady Akademii Nauk %D 1985 %P 1294-1299 %V 283 %N 6 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1985_283_6_a1/ %G ru %F DAN_1985_283_6_a1