AbstractWe propose a complete algorithm for real solution isolation for semialgebraic systems by using interval arithmetic. The algorithm is implemented as a Maple program Nrealzero and its performance on several examples is reported
We are concerned with interval constraints: solving constraints among real unknowns in such a way th...
Linear systems represent the computational kernel of many models that describe problems arising in t...
The computation of the exact solution set of an interval linear system is a nontrivial task [2, 13]....
We propose a complete algorithm for real solution isolation for semialgebraic systems by using inter...
AbstractWe propose a complete algorithm for real solution isolation for semialgebraic systems by usi...
AbstractWe propose an algorithm for isolating the real solutions of semi-algebraic systems, which ha...
We propose an algorithm for isolating the real solutions of semi-algebraic systems, which has been i...
AbstractCylindrical algebraic decomposition requires many very time consuming operations, including ...
Main topic of this thesis is solving interval linear systems. At first, we describe the structure of...
WOSInternational audienceAn interval problem is a problem where the unknown variables take interval ...
Design automation requires reliable methods for solving the equations describing the perfor-mance of...
We introduce an interval Newton method for bounding solutions of systems of nonlinear equations. It ...
A reliable symbolic-numeric algorithm for solving nonlinear systems over the reals is designed. The ...
a b s t r a c t An interval problem is a problemwhere the unknown variables take interval values. Su...
One of the main problems in interval computations is solving systems of equations under interval unc...
We are concerned with interval constraints: solving constraints among real unknowns in such a way th...
Linear systems represent the computational kernel of many models that describe problems arising in t...
The computation of the exact solution set of an interval linear system is a nontrivial task [2, 13]....
We propose a complete algorithm for real solution isolation for semialgebraic systems by using inter...
AbstractWe propose a complete algorithm for real solution isolation for semialgebraic systems by usi...
AbstractWe propose an algorithm for isolating the real solutions of semi-algebraic systems, which ha...
We propose an algorithm for isolating the real solutions of semi-algebraic systems, which has been i...
AbstractCylindrical algebraic decomposition requires many very time consuming operations, including ...
Main topic of this thesis is solving interval linear systems. At first, we describe the structure of...
WOSInternational audienceAn interval problem is a problem where the unknown variables take interval ...
Design automation requires reliable methods for solving the equations describing the perfor-mance of...
We introduce an interval Newton method for bounding solutions of systems of nonlinear equations. It ...
A reliable symbolic-numeric algorithm for solving nonlinear systems over the reals is designed. The ...
a b s t r a c t An interval problem is a problemwhere the unknown variables take interval values. Su...
One of the main problems in interval computations is solving systems of equations under interval unc...
We are concerned with interval constraints: solving constraints among real unknowns in such a way th...
Linear systems represent the computational kernel of many models that describe problems arising in t...
The computation of the exact solution set of an interval linear system is a nontrivial task [2, 13]....
DOI
Add to ORKG