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

by P Van Hentenryck, D McAllester, D Kapur
Venue:SIAM Journal of Numerical Analysis