New bounds for the Descartes method

  title={New bounds for the Descartes method},
  author={Werner Krandick and Kurt Mehlhorn},
  journal={ACM SIGSAM Bulletin},
We give a new bound for the number of recursive subdivisions in the Descartes method for polynomial real root isolation. Our proof uses Ostrowski's theory of normal power series from 1950 which has so far been overlooked in the literature. We combine Ostrowski's results with a theorem of Davenport from 1985 to obtain our bound. We also characterize normality of cubic polynomials by explicit conditions on their roots and derive a generalization of one of Ostrowski's theorems. The poster is based… CONTINUE READING
38 Citations
3 References
Similar Papers


Publications citing this paper.


Publications referenced by this paper.
Showing 1-3 of 3 references

An inductive proof

  • A. A. Albert
  • 1943
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…