New bounds for the Descartes method

Journal of Symbolic Computation

Volumn 41, Issue 1, 2006, Pages 49-66

  Krandick, Werner ^a   Mehlhorn, Kurt ^b  

^a Drexel University   (United States)

^b MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

Coefficient sign variations; Cylindrical algebraic decomposition; Descartes rule of signs; History of mathematics; M bius transformations; Modified Uspensky method; Normal polynomials; Polynomial real root isolation; Recursion tree analysis; Root separation bounds

Indexed keywords

EID: 29644432370     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jsc.2005.02.004     Document Type: Article

References (47)

1. A.A. Albert An inductive proof of Descartes' rule of signs The American Mathematical Monthly 50 3 1943 178-180
2. A. Alesina M. Galuzzi A new proof of Vincent's theorem L'Enseignement Mathématique 44 1998 219-256
3. A. Alesina M. Galuzzi Addendum to the paper "A new proof of Vincent's theorem" L'Enseignement Mathématique 45 1999 379-380
4. J.W. Anderson Hyperbolic Geometry 1999 Springer-Verlag London
5. M. Bartolozzi R. Franci La regola dei segni dall' enunciato di R. Descartes (1637) alla dimostrazione di C.F. Gauss (1828) Archive for History of Exact Sciences 45 4 1993 335-374
6. C. Carathéodory Theory of Functions of a Complex Variable, second English edition vol. 1 1964 Chelsea Publishing Company New York
7. G.E. Collins The computing time of the Euclidean algorithm SIAM Journal on Computing 3 1 1974 1-10
8. G.E. Collins Quantifier elimination for real closed fields by cylindrical algebraic decomposition H. Brakhage Automata Theory and Formal Languages Lecture Notes in Computer Science vol.33 1975 Springer-Verlag Berlin 134-183
9. Reprinted (with corrections by the author) in: Quantifier Elimination and Cylindrical Algebraic Decomposition In: B.F. Caviness J.R. Johnson eds. 1998 Springer-Verlag 85-121
10. G.E. Collins A.G. Akritas Polynomial real root isolation using Descartes' rule of signs In: R.D. Jenks ed. Proceedings of the 1976 ACM Symposium on Symbolic and Algebraic Computation 1976 ACM Press 272-275
11. G.E. Collins H. Hong Partial cylindrical algebraic decomposition for quantifier elimination Journal of Symbolic Computation 12 3 1991 299-328
12. Reprinted in: Quantifier Elimination and Cylindrical Algebraic Decomposition In: B.F. Caviness J.R. Johnson eds. 1998 Springer-Verlag 174-200
13. G.E. Collins J.R. Johnson Quantifier elimination and the sign variation method for real root isolation International Symposium on Symbolic and Algebraic Computation 1989 ACM Press 264-271
14. G.E. Collins J.R. Johnson W. Krandick Interval arithmetic in cylindrical algebraic decomposition Journal of Symbolic Computation 34 2 2002 143-155
15. G.E. Collins R. Loos Real zeros of polynomials In: B. Buchberger G.E. Collins R. Loos eds. Computer Algebra: Symbolic and Algebraic Computation 2nd edition 1982 Springer-Verlag 83-94
16. N.B. Conkwright Introduction to the Theory of Equations 1941 Ginn and Co
17. Davenport, J.H., 1985. Computer algebra for cylindrical algebraic decomposition. Tech. Rep., The Royal Institute of Technology, Department of Numerical Analysis and Computing Science, S-100 44, Stockholm, Sweden. Reprinted as: Technical Report 88-10, School of Mathematical Sciences, University of Bath, Claverton Down, Bath BA2 7AY, United Kingdom
18. T. Decker W. Krandick Parallel real root isolation using the Descartes method P. Banerjee V.K. Prasanna B.P. Sinha High Performance Computing - HiPC'99 Lecture Notes in Computer Science vol. 1745 1999 Springer-Verlag 261-268
19. T. Decker W. Krandick Isoefficiency and the parallel Descartes method In: G. Alefeld J. Rohn S. Rump T. Yamamoto eds. Symbolic Algebraic Methods and Verification Methods Springer Mathematics 2001 Springer-Verlag 55-67
20. R. Descartes The Geometry 1954 Dover Publications New York Translated from the French and Latin by D.E. Smith and M.L. Latham. With a facsimile of the first edition, 1637
21. C.F. Gauss Beweis eines algebraischen Lehrsatzes Journal für die reine und angewandte Mathematik 3 1 1828 1-4
22. Reprinted in: Carl Friedrich Gauss: Werke vol. 3 1866 Königliche Gesellschaft der Wissenschaften Dieterich, Göttingen 65-70
23. P. Henrici Applied and Computational Complex Analysis vol.1 1974 John Wiley & Sons
24. IEEE, 1985. ANSI/IEEE Std 754-1985. An American National Standard: IEEE Standard for Binary Floating-Point Arithmetic. The Institute of Electrical and Electronics Engineers, Inc., 345 East 47th Street, New York, NY 10017, USA. Reprinted as: ANSI/IEEE Standard 754-1985 for binary floating-point arithmetic. ACM SIGPLAN Notices, 22 (2), 9-25, 1987
25. J.R. Johnson Algorithms for polynomial real root isolation In: B.F. Caviness J.R. Johnson eds. Quantifier Elimination and Cylindrical Algebraic Decomposition 1998 Springer-Verlag 269-299
26. J.R. Johnson W. Krandick Polynomial real root isolation using approximate arithmetic In: W.W. Küchlin ed. International Symposium on Symbolic and Algebraic Computation 1997 ACM Press 225-232
27. W. Krandick Isolierung reeller Nullstellen von Polynomen In: J. Herzberger ed. Wissenschaftliches Rechnen 1995 Akademie Verlag Berlin 105-154
28. E. Landau, M[onsieur] Sur quelques théorèmes de M. Petrovitch relatifs aux zéros des fonctions analytiques Bulletin de la Société Mathématique de France 33 1905 251-261
29. Reprinted in: L. Mirsky I.J. Schoenberg W. Schwarz H. Wefelscheid Edmund eds. Landau: Collected Works vol. 2 1986 Essen Thales Verlag 180-190
30. J.M. Lane R.F. Riesenfeld Bounds on a polynomial BIT 21 1 1981 112-117
31. K. Mahler An inequality for the discriminant of a polynomial The Michigan Mathematical Journal 11 3 1964 257-262
32. M. Marden Ostrowski, A.M.: Note on Vincent's theorem Mathematical Reviews 12 6 1951 408-409
33. M. Mignotte An inequality about factors of polynomials Mathematics of Computation 28 128 1974 1153-1157
34. M. Mignotte Some useful bounds In: B. Buchberger G.E. Collins R. Loos eds. Computer Algebra: Symbolic and Algebraic Computation 2nd edition 1982 Springer-Verlag 259-263
35. A. Ostrowski, M[onsieur] Note sur les produits de séries normales. Bulletin de la Société Royale des Sciences de Liège1939 8 458-468
36. Reprinted in: Alexander Ostrowski: Collected Mathematical Papers vol. 3 1984 Birkhäuser Verlag pp. 414-424
37. A.M. Ostrowski Note on Vincent's theorem Annals of Mathematics, Second Series 52 3 1950 702-707
38. Reprinted in: Alexander Ostrowski: Collected Mathematical Papers vol. 1 1983 Birkhäuser Verlag pp. 728-733
39. A.M. Ostrowski On an inequality of J. Vicente Gonçalves Revista da Faculdade de Ciências da Universidade de Lisboa A-2nd Series 8 1961 115-119
40. Reprinted in: Alexander Ostrowski: Collected Mathematical Papers vol. 1 1983 Birkhäuser Verlag pp. 785-789
41. D.G. Richardson W. Krandick Compiler-enforced memory semantics in the SACLIB computer algebra library International Workshop on Computer Algebra in Scientific Computing Lecture Notes in Computer Science vol. 3718 2005 Springer-Verlag 330-343
42. Rouillier, F., Zimmermann, P., 2001. Efficient isolation of a polynomial real roots. Rapport de recherche 4113, Institut National de Recherche en Informatique et en Automatique
43. F. Rouillier P. Zimmermann Efficient isolation of a polynomial's real roots Journal of Computational and Applied Mathematics 162 2004 33-50
44. J.V. Uspensky Theory of Equations 1948 McGraw-Hill Book Company, Inc
45. B.L. van der Waerden Modern Algebra vol. I 1949 Frederick Ungar Publishing Co. New York
46. M[onsieur] Vincent Sur la résolution des équations numériques Journal de mathématiques pures et appliquées 1 1836 341-372
47. X. Wang A simple proof of Descartes's rule of signs The American Mathematical Monthly 111 6 2004 525-526