CAPD DynSys

swMATH39397MaRDI QIDQ55097FDOQ55097

Author name not available (Why is that?)

Described by source

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

Cited In (8)

• Torus knot choreographies in the n-body problem
• 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
• Validated Spectral Stability via Conjugate Points
• On rigorous integration of continuous piecewise linear systems

This page was built for software: CAPD DynSys