A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036)
From MaRDI portal
scientific article; zbMATH DE number 6744349
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations |
scientific article; zbMATH DE number 6744349 |
Statements
A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (English)
0 references
13 July 2017
0 references
evolution equation
0 references
periodic orbits
0 references
contraction mapping
0 references
invariant manifolds
0 references
rigorous computations
0 references
interval analysis
0 references
computer-assisted proofs
0 references
semilinear
0 references
equilibrium points
0 references
traveling waves
0 references
fixed points
0 references
preconditioners
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
