Examples

CAPD basics

• Multiple-precision in CAPD
• Non-rigorous computations of eigenvalues and eigenvectors

Dynamical Systems

• ODE integration
• Enclosure for a trajectory between time steps
• Computations of higher order derivatives
• Periodic orbits for the Rossler system
• Multiple periodic solutions for the Lorenz system
• Integration of differential inclusions
• Chaos in the Rossler system