The CAPD library (Computer Assisted Proofs in Dynamics) is a software library that aims to provide a set of flexible C++ modules designed for rigorous numerics in Dynamical Systems and homology computation. It has been used in a research of chaotic dynamics, bifurcations, heteroclinic/homoclinic solutions and periodic orbits. The RedHom (Reduction Homology) subproject provides efficient methods for computation of a homology of sets based on geometric and algebraic reductions.
| Developer(s) | Jagiellonian University |
|---|---|
| Initial release | 2005 |
| Stable release | 4.2.153 
/ 24 June 2016 |
| Repository | |
| Written in | C++ |
| Operating system | Multi-platform |
| Type | Application framework |
| License | GPL [1] |
| Website | capd |
The CAPD library is developed at the Faculty of Mathematics and Computer Science at the Jagiellonian University. The software is available under an open source GPL license.