On the Complexity of Real Root Isolation

Michael Sagraloff

We introduce a new approach to isolate the real roots of a square-free polynomial $F={\sum }_{i=0}^n{A}_i{x}^i$ with real coefficients. It is assumed that each coefficient of $F$ can be…