SqFreeEVAL: An (almost) optimal real-root isolation algorithm

Michael Burr, Felix Krahmer

Let f be a univariate polynomial with real coefficients, f in R[X]. Subdivision algorithms based on algebraic techniques (e.g., Sturm or Descartes methods) are widely used for isol…