Verified high-order inversion of functional dependencies and interval Newton methods (Q5955427)
From MaRDI portal
scientific article; zbMATH DE number 1704495
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verified high-order inversion of functional dependencies and interval Newton methods |
scientific article; zbMATH DE number 1704495 |
Statements
Verified high-order inversion of functional dependencies and interval Newton methods (English)
0 references
13 August 2003
0 references
result verification
0 references
convergence
0 references
numerical examples
0 references
verified enclosures
0 references
Taylor model methods
0 references
differential algebraic equations
0 references
inverse functions
0 references
interval Newton method
0 references
