CAPD DynSys
From MaRDI portal
Cited in
(23)- Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem
- Oscillatory motions and parabolic manifolds at infinity in the planar circular restricted three body problem
- Recent advances in a rigorous computation of Poincaré maps
- From the Sharkovskii theorem to periodic orbits for the Rössler system
- The Songling system has exactly four limit cycles
- ValEncIA-IVP
- CAPD
- AERN
- ChainCon
- VNODE
- galepu
- CkAnalytic
- JuliaReach
- RODES
- TIRA
- kv
- Torus knot choreographies in the \(n\)-body problem
- ERAN
- navierstokes
- Validated Spectral Stability via Conjugate Points
- GoTube
- On rigorous integration of continuous piecewise linear systems
- Codac
This page was built for software: CAPD DynSys
