Real solution isolation using interval arithmetic (Q2458505)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Real solution isolation using interval arithmetic |
scientific article |
Statements
Real solution isolation using interval arithmetic (English)
0 references
1 November 2007
0 references
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.
0 references
real solution isolation
0 references
interval arithmetic
0 references
polynomial systems
0 references
Maple
0 references
semialgebraic systems
0 references
numerical examples
0 references