Several algorithms are known to separate the real zeros of a polynomial. In his thesis Heindel showed, that the computing time of his algorithm using Sturm sequences is polynomially bounded in the length of the coefficients. ...