Real solution isolation using interval arithmetic (Q2458505)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Real solution isolation using interval arithmetic |
scientific article; zbMATH DE number 5207567
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Real solution isolation using interval arithmetic |
scientific article; zbMATH DE number 5207567 |
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
0 references
0.8559865
0 references
0.8550014
0 references
0 references
0.85242146
0 references
0.8477941
0 references
0.8419494
0 references
