@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},
volume = {12},
year = {1991},
pages = {19-29},
mrnumber = {1122202},
zbl = {0735.14036},
language = {fr},
url = {http://dml.mathdoc.fr/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, Tome 12 (1991) pp. 19-29. http://gdmltest.u-ga.fr/item/CSHM_1991_2_1__19_0/
[ARAG] Algorithms in real algebraic geometry. Journal of Symbolic Computation 5 ( 1988).
[BR] , : Topologie des ensembles algébriques réels. Hermann ( 1990).
[BCR] , , : 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] , , , , : Comptage des composantes connexes des ensembles semi-algébriques en temps simplement exponentiel. C. R. Ac. Sci. Paris 311, 870-882 ( 1990).
[HRS] , , : Sur la complexité du principe de Tarski-Seidenbverg. Bull. Soc. Math. France 118, 101-126 ( 1990). | Numdam | MR 1077090 | Zbl 0767.03017
[L] : Nullstelensatz réel effectif et variantes. Mega 1990. A paraître chez Birkhauser. | MR 1065427
[L R] , : Elementary constructive theory of ordered fields. Mega 1990. A paraître chez Birkhauser. | MR 1106427 | Zbl 0732.12002
[M] : La géométrie du discriminant réel et des polynômes hyperboliques. Thèse, Université de Rennes I ( 1991).
[W] : Algebraic curves. Berlin, Heidelberg, New York : Springer ( 1978). | MR 513824 | Zbl 0399.14016