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.
| CGAL | |
|---|---|
| Developer | Jagiellonian University |
| Release | 2005 |
| Stable release | |
| Written in | C++ |
| Operating system | Multi-platform |
| Type | Application framework |
| License | GPL [2] |
| Website | capd |
| Repository | |
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.
References
edit- CAPD project website
- RedHom subproject website Archived 2013-07-15 at the Wayback Machine