Rigorous numerics for fast-slow systems
From MaRDI portal
Publication:6117937
DOI10.1090/suga/483OpenAlexW4385806264MaRDI QIDQ6117937
Publication date: 21 February 2024
Published in: Sugaku Expositions (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/suga/483
Numerical methods for initial value problems involving ordinary differential equations (65L05) Numerical solution of boundary value problems involving ordinary differential equations (65L10)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A study of rigorous ODE integrators for multi-scale set-oriented computations
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
- Beyond the Melnikov method: A computer assisted approach
- Numerical validation of blow-up solutions of ordinary differential equations
- Geometric proof for normally hyperbolic invariant manifolds
- On the construction of Lyapunov functions with computer assistance
- Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach
- The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
- Covering relations, cone conditions and the stable manifold theorem
- Geometric singular perturbation theory for ordinary differential equations
- Tracking invariant manifolds with differential forms in singularly perturbed systems
- \(C^1\) Lohner algorithm.
- Covering relations for multidimensional dynamical systems
- Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity
- Topological method for symmetric periodic orbits for maps with a reversing symmetry
- Topological horseshoes of traveling waves for a fast-slow predator-prey system
- The parameterization method for invariant manifolds. III: Overview and applications
- Existence of Periodic Solutions of the FitzHugh--Nagumo Equations for an Explicit Range of the Small Parameter
- A Homoclinic Orbit in a Planar Singular ODE---A Computer Assisted Proof
- Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
- Validated Continuation for Equilibria of PDEs
- Mappings and homological properties in the Conley index theory
- Tracking Invariant Manifolds up to Exponentially Small Errors
- Rigorous Enclosures of a Slow Manifold
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
