Solving Polynomial Systems Using a Branch and Prune Approach (1997)

by P van Hentenryck, D McAllester, D Kapur
Venue:SIAM J. on Numerical Analysis