Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems
Авторы: Xia B., Yang L.
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 realzero in solving some examples from various applications is presented and the timings are reported.