The following pages link to (Q5454997):
Displaying 3 items.
- A computable criterion for the existence of connecting orbits in autonomous dynamics (Q330541) (← links)
- Beyond the Melnikov method: A computer assisted approach (Q338453) (← links)
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits (Q907673) (← links)
