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