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

Juan Xu, Chee Yap

We describe a new algorithm \texttt{Miranda} for isolating the simple zeros of a function $\mathbf{f}:{\mathbb{R}}^n\to {\mathbb{R}}^n$ within a box $B_0\subseteq {\mathbb{R}}^n$.…