An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems

We propose an algorithm for isolating the real solutions of semi-algebraic systems, which has been implemented as a Maple-program realzero. The performance of realzeroin solving some examples from various applications is presented and the timings are reported.