Pages that link to "Item:Q2263959"
From MaRDI portal
The following pages link to A computer-assisted proof of existence of a periodic solution (Q2263959):
Displaying 5 items.
- Existence proof of unimodal solutions of the Proudman-Johnson equation via interval analysis (Q1736471) (← links)
- Computer assisted method for proving existence of periodic orbits (Q1974100) (← links)
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
- On computer-assisted proving the existence of periodic and bounded orbits (Q2363617) (← links)
- Three-dimensional forced-damped dynamical systems with rich dynamics: bifurcations, chaos and unbounded solutions (Q2396255) (← links)