  A new algorithm for real root isolation of polynomial equations based on
hybrid computation is presented in this paper. Firstly, the approximate
(complex) zeros of the given polynomial equations are obtained via homotopy
continuation method. Then, for each approximate zero, an initial box relying on
the Kantorovich theorem is constructed, which contains the corresponding
accurate zero. Finally, the Krawczyk interval iteration with interval
arithmetic is applied to the initial boxes so as to check whether or not the
corresponding approximate zeros are real and to obtain the real root isolation
boxes. Meanwhile, an empirical construction of initial box is provided for
higher performance. Our experiments on many benchmarks show that the new hybrid
method is more efficient, compared with the traditional symbolic approaches.
