Existence Tests for Solutions of Nonlinear Equations Using Borsuk's Theorem (Q5700320)
From MaRDI portal
scientific article; zbMATH DE number 2220053
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Existence Tests for Solutions of Nonlinear Equations Using Borsuk's Theorem |
scientific article; zbMATH DE number 2220053 |
Statements
Existence Tests for Solutions of Nonlinear Equations Using Borsuk's Theorem (English)
0 references
28 October 2005
0 references
nonlinear systems
0 references
Miranda's existence theorem
0 references
Borsuk's theorem
0 references
computational verification
0 references
interval analysis
0 references
