An algorithm for isolating the real solutions of semi-algebraic systems
B Xia, L Yang - Journal of Symbolic Computation, 2002 - Elsevier
B Xia, L Yang
Journal of Symbolic Computation, 2002•ElsevierAn Algorithm for Isolating the Real Solutions of Semi-algebraic Systems Page 1 doi:10.1006/jsco.2002.0572
Available online at http://www.idealibrary.com on J. Symbolic Computation (2002) 34, 461–477
An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems BICAN XIA†§ AND
LU YANG‡¶ †School of Mathematical Sciences, Peking University, Beijing 100871, China ‡Chengdu
Institute of Computer Applications, Chinese Academy of Sciences, Chengdu 610041, China
We propose an algorithm for isolating the real solutions of semi-algebraic systems, which …
Available online at http://www.idealibrary.com on J. Symbolic Computation (2002) 34, 461–477
An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems BICAN XIA†§ AND
LU YANG‡¶ †School of Mathematical Sciences, Peking University, Beijing 100871, China ‡Chengdu
Institute of Computer Applications, Chinese Academy of Sciences, Chengdu 610041, China
We propose an algorithm for isolating the real solutions of semi-algebraic systems, which …
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.
Elsevier
