Real solution isolation using interval arithmetic (Q2458505): Difference between revisions

Many problems in practise can be reduced to finding real solutions of a semialgebraic system. In this article, the authors provide an algorithm for real solution isolation of semialgebraic systems by using interval arithmetic. The algorithm has been implemented in Maple. Some experiments are done to show the performance of the algorithm.