Conley index and numerical verification
From MaRDI portal
Numerical methods for trigonometric approximation and interpolation (65T40) A priori estimates in context of PDEs (35B45) Continuation and prolongation of solutions to PDEs (35B60) Index theory for dynamical systems, Morse-Conley indices (37B30) Inertial manifolds and other invariant attracting sets of infinite-dimensional dissipative dynamical systems (37L25)
Recommendations
- Rigorous verification of bifurcations of differential equations via the Conley index theory
- scientific article; zbMATH DE number 5009985
- scientific article; zbMATH DE number 1543283
- On computer-assisted proving the existence of periodic and bounded orbits
- scientific article; zbMATH DE number 1936660
Cited in
(7)- A CONLEY INDEX CALCULATION
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- Braided connecting orbits in parabolic equations via computational homology
- An efficient estimate based on FFT in topological verification method
- Rigorous verification of bifurcations of differential equations via the Conley index theory
- Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points
- scientific article; zbMATH DE number 5009985 (Why is no real title available?)
This page was built for publication: Conley index and numerical verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3536315)
