Solving polynomial systems using branch and prune approach (1997)

by P Van-Hentenryck, D Mc Allester, D Kapur
Venue:SIAM Journal on Numerical Analysis