Introduction à la géométrie algébrique réelle
Cahiers du séminaire d'histoire des mathématiques, Serie 2, Volume 1  (1991), p. 19-29
@article{CSHM_1991_2_1__19_0,
     author = {Roy, Marie-Fran\c coise},
     title = {Introduction \`a la g\'eom\'etrie alg\'ebrique r\'eelle},
     journal = {Cahiers du s\'eminaire d'histoire des math\'ematiques},
     publisher = {Institut Henri Poincar\'e, S\'eminaire d'histoire des math\'ematiques : Paris},
     volume = {2e s{\'e}rie, 1},
     year = {1991},
     pages = {19-29},
     zbl = {0735.14036},
     mrnumber = {1122202},
     language = {fr},
     url = {http://www.numdam.org/item/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, Serie 2, Volume 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 949442 | Zbl 0633.14016

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

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

[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 1051199

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). | Numdam | MR 1077090 | Zbl 0767.03017

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

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

[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 513824 | Zbl 0399.14016