FRISCO Tools for the isolation of the Real Roots of dense univariate polynomials with integer coefficients

Abstract : The aim of this report is to compare the actual available software solutions for isolating the real roots of dense univariate polynomials with integer coefficients. Actually three possibilities are implemented: - Sturm/Sturm-habicht sequences, - uspensky's algorithm, - Aberth's method. We do not include the first one in the tests (refer to deliverable 3.4.2.6.1.). Note that Abert's method compute all the complex roots of a given polynomial, which is not the case of Uspensky's method.