Effective Subdivision Algorithm for Isolating Zeros of Real Systems of Equations, with Complexity Analysis (Q5121130)
From MaRDI portal
scientific article; zbMATH DE number 7246267
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Effective Subdivision Algorithm for Isolating Zeros of Real Systems of Equations, with Complexity Analysis |
scientific article; zbMATH DE number 7246267 |
Statements
Effective Subdivision Algorithm for Isolating Zeros of Real Systems of Equations, with Complexity Analysis (English)
0 references
10 September 2020
0 references
certified computation
0 references
complexity analysis
0 references
effective certified algorithm
0 references
Miranda theorem
0 references
Moore-Kioustelidis test
0 references
root isolation
0 references
subdivision algorithms
0 references
system of real equations
0 references
