<http://dbpedia.org/resource/CAPD_library>	<http://www.w3.org/2000/01/rdf-schema#comment>	"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."@en .
<http://dbpedia.org/resource/CAPD_library>	<http://dbpedia.org/ontology/license>	<http://capd.ii.uj.edu.pl/capd/license.html> .
<http://dbpedia.org/resource/CAPD_library>	<http://xmlns.com/foaf/0.1/homepage>	<http://capd.ii.uj.edu.pl/> .
<http://dbpedia.org/resource/CAPD_library>	<http://dbpedia.org/ontology/developer>	<http://dbpedia.org/resource/Jagiellonian_University> .
<http://dbpedia.org/resource/CAPD_library>	<http://dbpedia.org/ontology/latestReleaseVersion>	"4.0" .
<http://dbpedia.org/resource/CAPD_library>	<http://dbpedia.org/ontology/genre>	<http://dbpedia.org/resource/Application_framework> .
<http://dbpedia.org/resource/CAPD_library>	<http://xmlns.com/foaf/0.1/name>	"CGAL"@en .
<http://dbpedia.org/resource/CAPD_library>	<http://dbpedia.org/ontology/operatingSystem>	<http://dbpedia.org/resource/Cross-platform> .
<http://dbpedia.org/resource/CAPD_library>	<http://dbpedia.org/ontology/programmingLanguage>	<http://dbpedia.org/resource/C++> .