Effective Subdivision Algorithm for Isolating Zeros of Real Systems of Equations, with Complexity Analysis.

Juan Xu, Chee Yap

Browse the full ISSAC paper archive.