非表示:
キーワード:
-
要旨:
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.