Real solution isolation using interval arithmetic
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.
real solution isolation interval arithmetic semialgebraic systems maple polynomial systems