RealPolynomialRoots

A package to find isolating intervals for the real roots of a square free polynomial.

The algorithm used is based on:

Computing Real Roots of Real Polynomials ... and now For Real! by Alexander Kobel, Fabrice Rouillier, Michael Sagraloff arXiv DOI

More detail on the algorithm is found in:

Computing real roots of real polynomials Michael Sagraloff, Kurt Mehlhorn DOI