Pages that link to "Item:Q869955"
From MaRDI portal
The following pages link to The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof (Q869955):
Displaying 35 items.
- A new class of 3-dimensional piecewise affine systems with homoclinic orbits (Q321621) (← links)
- Spatially localized solutions of the Hammerstein equation with sigmoid type of nonlinearity (Q324588) (← links)
- Numerical validation of blow-up solutions of ordinary differential equations (Q345956) (← links)
- On the construction of Lyapunov functions with computer assistance (Q515790) (← links)
- Computation of maximal local (un)stable manifold patches by the parameterization method (Q904186) (← links)
- Covering relations, cone conditions and the stable manifold theorem (Q1007257) (← links)
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (Q1616363) (← links)
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof (Q1688658) (← links)
- Shadowing of non-transversal heteroclinic chains (Q1688676) (← links)
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds (Q1692132) (← links)
- On the existence of homoclinic orbits in some class of three-dimensional piecewise affine systems (Q1715668) (← links)
- Including homoclinic connections and T-point heteroclinic cycles in the same global problem for a reversible family of piecewise linear systems (Q1734742) (← links)
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions (Q2135544) (← links)
- Recent advances in a rigorous computation of Poincaré maps (Q2137186) (← links)
- Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation (Q2204503) (← links)
- On computer-assisted proving the existence of periodic and bounded orbits (Q2363617) (← links)
- Shil'nikov chaos in the 4D Lorenz-Stenflo system modeling the time evolution of nonlinear acoustic-gravity waves in a rotating atmosphere (Q2441973) (← links)
- Coexistence and Dynamical Connections between Hyperchaos and Chaos in the 4D Rössler System: A Computer-Assisted Proof (Q2790863) (← links)
- Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification (Q2958642) (← links)
- Construction of a Class of Four-Dimensional Piecewise Affine Systems with Homoclinic Orbits (Q3187944) (← links)
- Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence (Q3188141) (← links)
- Existence of Homoclinic and Heteroclinic Connections in Continuous Piecewise Linear Systems (Q3448874) (← links)
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits (Q4557492) (← links)
- Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model (Q4571153) (← links)
- Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori (Q4588273) (← links)
- Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds (Q4608082) (← links)
- Multistability and Hidden Attractors in a Three-Dimensional Chaotic System (Q5114605) (← links)
- Existence of homoclinic connections in continuous piecewise linear systems (Q5250413) (← links)
- Stationary Coexistence of Hexagons and Rolls via Rigorous Computations (Q5258573) (← links)
- Competitive Modes for the Detection of Chaotic Parameter Regimes in the General Chaotic Bilinear System of Lorenz Type (Q5259033) (← links)
- Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model (Q5349315) (← links)
- Singular cycles and chaos in a new class of 3D three-zone piecewise affine systems (Q5377545) (← links)
- Computer‐assisted analysis of chaos in a three‐species food chain model (Q6091789) (← links)
- Rigorous numerics for fast-slow systems (Q6117937) (← links)
