The following pages link to (Q5426859):
Displaying 9 items.
- A computable criterion for the existence of connecting orbits in autonomous dynamics (Q330541) (← links)
- Rigorous computational shadowing of orbits of ordinary differential equations (Q1347034) (← links)
- Rigorous proof of chaotic behaviour in a dumbbell satellite model (Q1593780) (← links)
- Numerical computation of connecting orbits on a manifold (Q1762496) (← links)
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields (Q2249804) (← links)
- Validated computations for connecting orbits in polynomial vector fields (Q2302341) (← links)
- Shadowing for nonautonomous dynamics (Q2311835) (← links)
- Rigorous validation of stochastic transition paths (Q2334873) (← links)
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits (Q4557492) (← links)
