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.
| Attributes | Values |
|---|---|
| rdfs:comment |
|
| foaf:name |
|
| foaf:homepage | |
| developer | |
| genre | |
| latest release version |
|
| license | |
| operating system | |
| programming language |