AbstractWe 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
This paper discusses the implementation of a reduction algorithm for differential-algebraic systems ...
Recent advances in program verification indicate that various verification problems can be reduced t...
Abtract. Original integer general solutions, together with examples, are presented to solve linear e...
We propose an algorithm for isolating the real solutions of semi-algebraic systems, which has been i...
AbstractWe propose an algorithm for isolating the real solutions of semi-algebraic systems, which ha...
AbstractWe propose a complete algorithm for real solution isolation for semialgebraic systems by usi...
We propose a complete algorithm for real solution isolation for semialgebraic systems by using inter...
AbstractWe present a complete and practical algorithm which can determine the number of distinct rea...
Solving polynomial systems is an active research area located between computer sciences and mathemat...
We discuss parametric polynomial systems, with algorithms for real root classification and triangula...
AbstractA new algorithm is presented for solving algebraic systems of equations, which is designed f...
AbstractIn this paper, robust semi-definite programs are considered with the goal of verifying wheth...
Real algebraic geometry deals with the solution set of (possibly quantified) systems of polynomial e...
Computing the real roots of a polynomial is a fundamental problem of computational algebra. We descr...
Computing the real roots of a polynomial is a fundamental problem of computational algebra. We descr...
This paper discusses the implementation of a reduction algorithm for differential-algebraic systems ...
Recent advances in program verification indicate that various verification problems can be reduced t...
Abtract. Original integer general solutions, together with examples, are presented to solve linear e...
We propose an algorithm for isolating the real solutions of semi-algebraic systems, which has been i...
AbstractWe propose an algorithm for isolating the real solutions of semi-algebraic systems, which ha...
AbstractWe propose a complete algorithm for real solution isolation for semialgebraic systems by usi...
We propose a complete algorithm for real solution isolation for semialgebraic systems by using inter...
AbstractWe present a complete and practical algorithm which can determine the number of distinct rea...
Solving polynomial systems is an active research area located between computer sciences and mathemat...
We discuss parametric polynomial systems, with algorithms for real root classification and triangula...
AbstractA new algorithm is presented for solving algebraic systems of equations, which is designed f...
AbstractIn this paper, robust semi-definite programs are considered with the goal of verifying wheth...
Real algebraic geometry deals with the solution set of (possibly quantified) systems of polynomial e...
Computing the real roots of a polynomial is a fundamental problem of computational algebra. We descr...
Computing the real roots of a polynomial is a fundamental problem of computational algebra. We descr...
This paper discusses the implementation of a reduction algorithm for differential-algebraic systems ...
Recent advances in program verification indicate that various verification problems can be reduced t...
Abtract. Original integer general solutions, together with examples, are presented to solve linear e...
DOI
Add to ORKG