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