Pages that link to "Item:Q338453"
From MaRDI portal
The following pages link to Beyond the Melnikov method: A computer assisted approach (Q338453):
Displaying 11 items.
- Beyond the Melnikov method. II: Multidimensional setting (Q1671213) (← links)
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
- Breakdown of heteroclinic connections in the analytic Hopf-zero singularity: rigorous computation of the Stokes constant (Q2111461) (← links)
- Oscillatory motions and parabolic manifolds at infinity in the planar circular restricted three body problem (Q2118888) (← links)
- Homoclinic points of 2D and 4D maps via the parametrization method (Q4588505) (← links)
- Computer assisted proof of the existence of the Lorenz attractor in the Shimizu–Morioka system (Q4644665) (← links)
- Wild pseudohyperbolic attractor in a four-dimensional Lorenz system (Q4986208) (← links)
- Validated Spectral Stability via Conjugate Points (Q5037772) (← links)
- Torus knot choreographies in the n-body problem (Q5147943) (← links)
- Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model (Q5349315) (← links)
- Rigorous numerics for fast-slow systems (Q6117937) (← links)
