CAPD DynSys

swMATH39397MaRDI QIDQ55097FDOQ55097

Author name not available (Why is that?)

Official website: https://arxiv.org/abs/2010.07097

Described by source

• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems

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
• Codac
• From the Sharkovskii theorem to periodic orbits for the Rössler system
• The Songling system has exactly four limit cycles
• Torus knot choreographies in the \(n\)-body problem
• ValEncIA-IVP
• CAPD
• AERN
• ChainCon
• VNODE
• galepu
• CkAnalytic
• JuliaReach
• RODES
• TIRA
• kv
• ERAN
• navierstokes
• Validated Spectral Stability via Conjugate Points
• GoTube
• On rigorous integration of continuous piecewise linear systems

This page was built for software: CAPD DynSys