Computer algebra: symbolic and algebraic computation (2nd ed.)
A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
Journal of Symbolic Computation
Permanence and global stability for competitive Lotka-Volterra diffusion systems
Nonlinear Analysis: Theory, Methods & Applications
Decomposing polynomial systems into simple systems
Journal of Symbolic Computation
On the theories of triangular sets
Journal of Symbolic Computation - Special issue on polynomial elimination—algorithms and applications
Computing triangular systems and regular systems
Journal of Symbolic Computation
An algorithm for isolating the real solutions of semi-algebraic systems
Journal of Symbolic Computation
An algorithm for isolating the real solutions of semi-algebraic systems
Journal of Symbolic Computation
Stability analysis of biological systems with real solution classification
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Real solution isolation using interval arithmetic
Computers & Mathematics with Applications
Complete numerical isolation of real zeros in zero-dimensional triangular systems
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
DISCOVERER: a tool for solving semi-algebraic systems
ACM Communications in Computer Algebra
Program Verification by Using DISCOVERER
Verified Software: Theories, Tools, Experiments
Isolating the real roots of the piecewise algebraic variety
Computers & Mathematics with Applications
Complete numerical isolation of real roots in zero-dimensional triangular systems
Journal of Symbolic Computation
Computing cylindrical algebraic decomposition via triangular decomposition
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Root isolation for bivariate polynomial systems with local generic position method
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Discovering non-linear ranking functions by solving semi-algebraic systems
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Generating polynomial invariants with DISCOVERER and QEPCAD
Formal methods and hybrid real-time systems
Univariate real root isolation in an extension field
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Solving parametric piecewise polynomial systems
Journal of Computational and Applied Mathematics
Program verification through computer algebra
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Univariate real root isolation in multiple extension fields
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
| Hi-index | 0.00 |
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.