Calculating the Real Roots of a Rational Polynomial with Exact Real Arithmetic
by
Marko Krznaric
Department of Computing, Imperial College, UK
Coauthors: Abbas Edalat (Department of Computing, Imperial College, UK)

The trisection algorithm, a generalization of the bisection technique adopted to exact real arithemtic, computes, with any given accuracy, any simple, real root of a function, implemented in exact arithemetic. By using a perturbation method and the well-known Sturm's sequence, we show that the trisection algorithm can in fact be used to obtain all real roots, including those with multiplicity, of any rational polynomial to any degree of accuracy.

Date received: March 17, 2000

Copyright © 2000 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caex-33.