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

by P. Van Hentenryck, D. Mcallester, D. Kapur
Venue:SIAM Journal on Numerical Analysis