Real solution isolation using interval arithmetic (Q2458505): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 09:16, 5 March 2024
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