CAPD library
C++ module software library
From Wikipedia, the free encyclopedia
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 |
| Initial 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.