We 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. (c) 2006 Elsevier Ltd. All rights reserved.Mathematics, AppliedSCI(E)EI0ARTICLE6-7853-8605
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 are concerned with interval constraints: solving constraints among real unknowns in such a way th...
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...
A reliable symbolic-numeric algorithm for solving nonlinear systems over the reals is designed. The ...
One of the main problems in interval computations is solving systems of equations under interval unc...
a b s t r a c t An interval problem is a problemwhere the unknown variables take interval values. Su...
We introduce an interval Newton method for bounding solutions of systems of nonlinear equations. It ...
Linear systems represent the computational kernel of many models that describe problems arising in t...
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 are concerned with interval constraints: solving constraints among real unknowns in such a way th...
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...
A reliable symbolic-numeric algorithm for solving nonlinear systems over the reals is designed. The ...
One of the main problems in interval computations is solving systems of equations under interval unc...
a b s t r a c t An interval problem is a problemwhere the unknown variables take interval values. Su...
We introduce an interval Newton method for bounding solutions of systems of nonlinear equations. It ...
Linear systems represent the computational kernel of many models that describe problems arising in t...
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 are concerned with interval constraints: solving constraints among real unknowns in such a way th...
DOI
Add to ORKG