A theoretical analysis of the basic methods for the isolation of the real roots of polynomial equations