Here one will find code for rigorously computing and approximating invariant sets associated with nonlinear dynamical systems. This includes fixed points, periodic orbits, heteroclinic or homoclinic orbits, stable and unstable manifolds, and even chaotic invariant sets for finite or infinite dimensional maps, ODEs, PDEs, and FDEs. |