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.
Attributes | Values |
---|---|
rdf:type |
|
rdfs:label |
|
rdfs:comment |
|
foaf:name |
|
foaf:homepage | |
name |
|
dct:subject | |
Wikipage page ID |
|
Wikipage revision ID |
|
Link from a Wikipage to another Wikipage | |
Link from a Wikipage to an external page | |
sameAs | |
dbp:wikiPageUsesTemplate | |
developer | |
genre | |
license |
|
operating system | |
programming language | |
released |
|
website | |
has abstract |
|
prov:wasDerivedFrom | |
page length (characters) of wiki page |
|
developer | |
genre | |
license | |
operating system | |
programming language | |
foaf:isPrimaryTopicOf | |
is Link from a Wikipage to another Wikipage of | |
is Wikipage disambiguates of | |
is foaf:primaryTopic of |