The following pages link to (Q4520741):
Displayed 5 items.
- A computable criterion for the existence of connecting orbits in autonomous dynamics (Q330541) (← links)
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions (Q2135544) (← links)
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields (Q2249804) (← links)
- Validated Spectral Stability via Conjugate Points (Q5037772) (← links)
- Rich Bifurcation Structure in a Two-Patch Vaccination Model (Q5258574) (← links)