Numerical verification methods for differential equations: computer-assisted proofs based on infinite dimensional sequential iteration (Q2917687)
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: Numerical verification methods for differential equations: computer-assisted proofs based on infinite dimensional sequential iteration |
scientific article; zbMATH DE number 6088937
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Numerical verification methods for differential equations: computer-assisted proofs based on infinite dimensional sequential iteration |
scientific article; zbMATH DE number 6088937 |
Statements
1 October 2012
0 references
Hilbert space
0 references
boundary value problem
0 references
numerical examples
0 references
numerical verification methods
0 references
functional equations
0 references
sequential iteration
0 references
computer-assisted proofs
0 references
Newton-type iteration
0 references
algorithm
0 references
0.94388473
0 references
0.9079927
0 references
0.89897597
0 references
0.88931227
0 references
0.8858623
0 references
Numerical verification methods for differential equations: computer-assisted proofs based on infinite dimensional sequential iteration (English)
0 references
