Recherche de solutions d'inéquations polynomiales
Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988, Astérisque, no. 192 (1990), pp. 11-16. 
@incollection{AST_1990__192__11_0,
     author = {Ronga, Felice},
     title = {Recherche de solutions d'in\'equations polynomiales},
     booktitle = {Algorithmique, topologie et g\'eom\'etrie alg\'ebriques - S\'evilla,1987, Toulouse 1988},
     editor = {Hayat-Legrand Claude and Sergeraert Francis},
     series = {Ast\'erisque},
     pages = {11--16},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {192},
     year = {1990},
     language = {fr},
     url = {http://www.numdam.org/item/AST_1990__192__11_0/}
}
TY  - CHAP
AU  - Ronga, Felice
TI  - Recherche de solutions d'inéquations polynomiales
BT  - Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988
AU  - Collectif
ED  - Hayat-Legrand Claude
ED  - Sergeraert Francis
T3  - Astérisque
PY  - 1990
SP  - 11
EP  - 16
IS  - 192
PB  - Société mathématique de France
UR  - http://www.numdam.org/item/AST_1990__192__11_0/
LA  - fr
ID  - AST_1990__192__11_0
ER  - 
%0 Book Section
%A Ronga, Felice
%T Recherche de solutions d'inéquations polynomiales
%B Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988
%A Collectif
%E Hayat-Legrand Claude
%E Sergeraert Francis
%S Astérisque
%D 1990
%P 11-16
%N 192
%I Société mathématique de France
%U http://www.numdam.org/item/AST_1990__192__11_0/
%G fr
%F AST_1990__192__11_0
Ronga, Felice. Recherche de solutions d'inéquations polynomiales, dans Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988, Astérisque, no. 192 (1990), pp. 11-16. http://www.numdam.org/item/AST_1990__192__11_0/

[1] D. Yu Grigor'Ev and N.N. Vorobjov (Jr), Solving Systems of Polynomial Inequalities in Subexponential Time, J. Symbolic Computation (1988) 5, 37-64.

[2] D. Lazard, Algèbre linéaire sur K[X 1 ,...,X n ] et élimination, Bull. Soc. Math. de France 105 (1977), 165-190.

[3] F.S. Macaulay, Some Formulae in Elimination, Proceedings of the London Math. Soc. XXXV, 3-27.