TY - RPRT TI - Effective Subdivision Algorithm for Isolating Zeros of Real Systems of Equations, with Complexity Analysis AU - Juan Xu AU - Chee Yap PY - 2019 UR - https://arxiv.org/abs/1905.03505 ID - 1905.03505 ER -