Polynomial real root isolation by differentiation.

George E. Collins, Rdiger Loos

Browse the full ISSAC paper archive.