The capd::DynSys library contains modules that was originally intended for rigorous computations in dynamical systems but currently they are go far beyond this. It consist of the following modules:
- map - computation of values and derivatives of maps. It is also the core for the solvers in dynsys module,
- dynsys - various nonrigorous and rigorous solvers to ODEs, for computations of the solutions and partial derivatives w.r.t. initial conditions up to arbitrary order,
- geomset, dynset - various representations of sets and Lohner-type algorithms,
- poincare - computation of Poincare maps and their derivatives; both rigorous and nonrigorous,
- diffIncl - rigorous computations of the solutions to differential inclusions,
- newton - utils related to interval Newton and Krawczyk method,
- covrel - h-set representations and methods for checking covering relations,
- normalForms - operations on Taylor series and routines for normal forms of a planar map
In development:
1.9.1