Real algebraic geometry

1. Ordered Fields, Real Closed Fields.- 2. Semi-algebraic Sets.- 3. Real Algebraic Varieties.- 4. Real Algebra.- 5. The Tarski-Seidenberg Principle as a Transfer Tool.- 6. Hilbert's 17th Problem. Quadratic Forms.- 7. Real Spectrum.- 8. Nash Functions.- 9. Stratifications.- 10. Real Places.- 11. Topology of Real Algebraic Varieties.- 12. Algebraic Vector Bundles.- 13. Polynomial or Regular Mappings with Values in Spheres.- 14. Algebraic Models of C? Manifolds.- 15. Witt Rings in Real Algebraic Geometry.- Index of Notation.

[1]  E. Landau.  Über die Darstellung definiter Funktionen durch Quadrate , 1906 .

[2]  Annibale Comessatti.  Sulla connessione delle superficie razionali reali , 1914 .

[3]  F. Hausdorff.  Summationsmethoden und Momentfolgen. II , 1921 .

[4]  F. Hausdorff.  Summationsmethoden und Momentfolgen. I , 1921 .

[5]  H. P..  Algebraic Geometry and Theta Functions , 1930, Nature.

[6]  A. Tarski.  A Decision Method for Elementary Algebra and Geometry , 2023 .

[7]  Wilfred Kaplan,et al.  Functions of several complex variables , 1964 .

[8]  S. Lojasiewicz,et al.  Triangulation of semi-analytic sets , 1964 .

[9]  J. Milnor.  On the Betti numbers of real varieties , 1964 .

[10]  R. Thom.  Sur L'Homologie des Varietes Algebriques Réelles , 1965 .

[11]  R. Wood.  Polynomial maps from spheres to spheres , 1968 .

[12]  John T. Baldwin,et al.  On strongly minimal sets , 1971, Journal of Symbolic Logic.

[13]  Y. Pourchet,et al.  Sur la représentation en somme de carrés des polynômes à une indéterminée sur un corps de nombres algébriques , 1971 .

[14]  広中 平祐.  Introduction to real-analytic sets and real-analytic maps , 1973 .

[15]  G. Stengle.  A nullstellensatz and a positivstellensatz in semialgebraic geometry , 1974 .

[16]  George E. Collins,et al.  Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .

[17]  H. R. Wüthrich,et al.  Ein Entscheidungsverfahren für die Theorie der reell- abgeschlossenen Körper , 1976, Komplexität von Entscheidungsproblemen 1976.

[18]  John H. Reif,et al.  Complexity of the mover's problem and generalizations , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).

[19]  C. Berg,et al.  Polynomially positive definite sequences , 1982 .

[20]  Jean-Pierre Chauveau,et al.  Esquisse d'un programme , 1982 .

[21]  J. Schwartz,et al.  On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifolds , 1983 .

[22]  François E. Cellier,et al.  Computer Aided Control Systems Design , 1983, ESC.

[23]  John H. Reif,et al.  The complexity of elementary algebra and geometry , 1984, STOC '84.

[24]  A. Pillay,et al.  Definable sets in ordered structures , 1984 .

[25]  T. Kuo.  On classification of real singularities , 1985 .

[26]  E. Bierstone,et al.  Semianalytic and subanalytic sets , 1988 .

[27]  James H. Davenport,et al.  Real Quantifier Elimination is Doubly Exponential , 1988, J. Symb. Comput..

[28]  Dima Grigoriev,et al.  Solving Systems of Polynomial Inequalities in Subexponential Time , 1988, J. Symb. Comput..

[29]  Jan Denef,et al.  P-adic and real subanalytic sets , 1988 .

[30]  K. Kurdyka.  Ensembles semi-algébriques symétriques par arcs , 1988 .

[31]  D. S. Arnon,et al.  Algorithms in real algebraic geometry , 1988 .

[32]  E. Bierstone,et al.  Arc-analytic functions , 1990 .

[33]  K. Schmüdgen.  TheK-moment problem for compact semi-algebraic sets , 1991 .

[34]  Seinosuke Toda,et al.  PP is as Hard as the Polynomial-Time Hierarchy , 1991, SIAM J. Comput..

[35]  K. Schmüdgen.  TheK-moment problem for compact semi-algebraic sets , 1991 .

[36]  R. Moussu,et al.  Théorie de Hovanskii et problème de Dulac , 1991 .

[37]  Alexander I. Barvinok,et al.  Feasibility testing for systems of real quadratic equations , 1992, STOC '92.

[38]  John F. Canny,et al.  Computing Roadmaps of General Semi-Algebraic Sets , 1991, Comput. J..

[39]  A. Macintyre,et al.  The Elementary Theory of Restricted Analytic Fields with Exponentiation , 1994 .

[40]  Joos Heintz,et al.  Description of the connected components of a semialgebraic set in single exponential time , 1994, Discret. Comput. Geom..

[41]  Yurii Nesterov,et al.  Interior-point polynomial algorithms in convex programming , 1994, Siam studies in applied mathematics.