Introduction à la géométrie algébrique réelle
Cahiers du séminaire d'histoire des mathématiques, Série 2, Tome 1 (1991), pp. 19-29. 
@article{CSHM_1991_2_1__19_0,
     author = {Roy, Marie-Fran\c{c}oise},
     title = {Introduction \`a la g\'eom\'etrie alg\'ebrique r\'eelle},
     journal = {Cahiers du s\'eminaire d'histoire des math\'ematiques},
     pages = {19--29},
     publisher = {Institut Henri Poincar\'e, S\'eminaire d'histoire des math\'ematiques : Paris},
     volume = {2e s{\'e}rie, 1},
     year = {1991},
     mrnumber = {1122202},
     zbl = {0735.14036},
     language = {fr},
     url = {http://www.numdam.org/item/CSHM_1991_2_1__19_0/}
}
TY  - JOUR
AU  - Roy, Marie-Françoise
TI  - Introduction à la géométrie algébrique réelle
JO  - Cahiers du séminaire d'histoire des mathématiques
PY  - 1991
SP  - 19
EP  - 29
VL  - 1
PB  - Institut Henri Poincaré, Séminaire d'histoire des mathématiques : Paris
UR  - http://www.numdam.org/item/CSHM_1991_2_1__19_0/
LA  - fr
ID  - CSHM_1991_2_1__19_0
ER  - 
%0 Journal Article
%A Roy, Marie-Françoise
%T Introduction à la géométrie algébrique réelle
%J Cahiers du séminaire d'histoire des mathématiques
%D 1991
%P 19-29
%V 1
%I Institut Henri Poincaré, Séminaire d'histoire des mathématiques : Paris
%U http://www.numdam.org/item/CSHM_1991_2_1__19_0/
%G fr
%F CSHM_1991_2_1__19_0
Roy, Marie-Françoise. Introduction à la géométrie algébrique réelle. Cahiers du séminaire d'histoire des mathématiques, Série 2, Tome 1 (1991), pp. 19-29. http://www.numdam.org/item/CSHM_1991_2_1__19_0/

[ARAG] Algorithms in real algebraic geometry. Journal of Symbolic Computation 5 ( 1988).

[BR] Benedetti R., Risler J.-J. : Topologie des ensembles algébriques réels. Hermann ( 1990).

[BCR] Bochnak J., Coste M., Roy M.-F. : Géométrie algébrique réelle. Ergebnisse des Mathematik, 12. Berlin, Heideîberg, New York : Springer Verlag ( 1987). | MR | Zbl

[GAR] Géométrie algébrique réelle et formes quadratiques. Lecture Notes in Math. 959. Berlin, Heidelberg, New York : Springer Verlag ( 1982). | MR

[GR] Geometry and Robotics. Springer Lecture Notes in Computer Science 391 ( 1989). | MR

[O] Ordered fields and real algebraic geometry. Contemp. Math. 9. ( 1982).

[RAAG] Real analytic and algebraic geometry. Springer Lecture Notes in Math. 1420 ( 1990). | MR

Dans le texte, nous avons invoqué [G H R S V] Grigor'Ev D., Heintz J., Roy M.-F., Solerno P., Vorobjov N. : Comptage des composantes connexes des ensembles semi-algébriques en temps simplement exponentiel. C. R. Ac. Sci. Paris 311, 870-882 ( 1990).

[HRS] Heintz J., Roy M.-F., Solerno P.: Sur la complexité du principe de Tarski-Seidenbverg. Bull. Soc. Math. France 118, 101-126 ( 1990). | EuDML | Numdam | MR | Zbl

[L] Lombardi H. : Nullstelensatz réel effectif et variantes. Mega 1990. A paraître chez Birkhauser. | MR

[L R] Lombardi H., Roy M.-F. : Elementary constructive theory of ordered fields. Mega 1990. A paraître chez Birkhauser. | MR | Zbl

[M] Méguerditchian I. : La géométrie du discriminant réel et des polynômes hyperboliques. Thèse, Université de Rennes I ( 1991).

[W] Walker R. : Algebraic curves. Berlin, Heidelberg, New York : Springer ( 1978). | MR | Zbl