Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
2.7 Bibliographical Notes
E. Artin, Über die Zerlegung definiter Funktionen in Quadrate, Hamb. Abh. 5, 100–115 (1927). The collected papers of Emil Artin, 273–288. Reading: Addison-Wesley (1965).
E. Artin, O. Schreier, Algebraische Konstruktion reeller Körper, Hamb. Abh. 5 8(–99 (1925). The collected papers of Emil Artin, 258–271. Addison-Wesley (1965).
F. Budan de Boislaurent, Nouvelle méthode pour la résolution des équations numériques d’un degré quelconque, (1807), 2nd edition, Paris (1822).
A. Cauchy, Calcul des indices des fonctions, Journal de l’Ecole Polytechnique, vol. 15, Cahier 25, 176–229 (1832).
P. J. Cohen, Decision procedures for real and p-adic fields, Comm. Pure. Appl. Math. 22, 131–151 (1969).
M. Coste, T. Lajous-Loeza, H. Lombardi, M.-F. Roy, Generalized Budan-Fourier theorem and virtual roots, Journal of Complexity, 21, 478–486, (2005).
R. Descartes, Géométrie (1636). A source book in Mathematics, 90–31. Harvard University press (1969).
J. Fourier, Analyse des équations déterminées, F. Didot, Paris (1831).
C. F. GaussDemonstratio Nova Altera Theorematis Omnem Funct. Alg., Commentationes societatis regieae scientiarum Gottingensis recentiores, 3, 107–134 (1816). Werke III 31–56 (1876).
L. Gonzalez Vega, H. Lombardi, L. Mahé, Virtual roots of real polynomials Journal of Pure and Applied Algebra, 124, 147–166 (1998).
L. Hörmander, The analysis of linear partial differential operators, vol. 2. Berlin etc.: Springer-Verlag (1983).
I. Newton, The mathematical papers of Isaac Newton, Cambridge University Press (1968,1971,1976).
A. Ostrowski, Notes sur les produits de séries normales, Bulletin de la Société Royale des Sciences de Liège 8 458–467 (1939).
A. Seidenberg, A new decision method for elementary algebra, Annals of Mathematics, 60:365–374, (1954).
C. Sturm, Mémoire sur la résolution des équations numériques. Inst. France Sc. Math. Phys. 6 (1835).
A. Tarski, Sur les ensembles définissables de nombres réels, Fund. Math. 17, 210–239 (1931).
A. Tarski, The completeness of elementary algebra and geometry, 1939, Preprint Institut Blaise Pascal, CNRS (1967).
A. Tarski, A Decision method for elementary algebra and geometry, University of California Press (1951).
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2006). Real Closed Fields. In: Algorithms in Real Algebraic Geometry. Algorithms and Computation in Mathematics, vol 10. Springer, Berlin, Heidelberg . https://doi.org/10.1007/3-540-33099-2_3
Download citation
DOI: https://doi.org/10.1007/3-540-33099-2_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33098-1
Online ISBN: 978-3-540-33099-8
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)