Based on ideas from the paper [Computing Real Roots of Real Polynomials](https://arxiv.org/pdf/1308.4088) by
Michael Sagraloff and Kurt Mehlhorn.