Kelly B. Roach.  Symbolic-Numeric Nonlinear Equation Solving.  In Proceedings of the 1994 International Symposium on Symbolic and Algebraic Computation , pages 278-284, New York, 1994.  ACM.