Title of article
An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems
Author/Authors
Bican Xia، نويسنده , , and Lu Yang، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
17
From page
461
To page
477
Abstract
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.
Journal title
Journal of Symbolic Computation
Serial Year
2002
Journal title
Journal of Symbolic Computation
Record number
805667
Link To Document