Efficient isolation of polynomial's real roots

Efficient isolation of polynomial's real roots