B. J. Hoenders;C. H. Slump
-;-
Symbolic-numeric nonlinear equation solving
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
On the complexity of isolating real roots and computing with certainty the topological degree
Journal of Complexity