This HTML5 document contains 72 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n19https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n17http://capd.ii.uj.edu.pl/
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
n9http://redhom.ii.uj.edu.pl/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:CAPD_library
rdf:type
dbo:Software owl:Thing yago:WikicatNumericalLibraries yago:Object100002684 yago:YagoGeoEntity wikidata:Q386724 yago:YagoPermanentlyLocatedEntity yago:Whole100003553 schema:CreativeWork yago:Library103660909 wikidata:Q7397 yago:WikicatC++Libraries yago:Room104105893 yago:Artifact100021939 yago:Area102735688 yago:PhysicalEntity100001930 dbo:Work yago:WikicatFreeComputerLibraries yago:Structure104341686
rdfs:label
CAPD library
rdfs: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. The RedHom (Reduction Homology) subproject provides efficient methods for computation of a homology of sets based on geometric and algebraic reductions.
foaf:name
CGAL
foaf:homepage
n17:
dbp:name
CGAL
dcterms:subject
dbc:C++_libraries dbc:Free_software_programmed_in_C++ dbc:Numerical_libraries dbc:Free_computer_libraries dbc:Generic_programming
dbo:wikiPageID
35467021
dbo:wikiPageRevisionID
1077048570
dbo:wikiPageWikiLink
dbc:Numerical_libraries dbr:Verified_computing dbr:Homology_(mathematics) dbr:C++ dbr:Dynamical_system dbr:GPL dbc:Free_software_programmed_in_C++ dbr:Chaos_theory dbr:Multi-platform dbr:Jagiellonian_University dbr:Library_(computing) dbc:C++_libraries dbc:Free_computer_libraries dbc:Generic_programming dbr:Application_framework
dbo:wikiPageExternalLink
n9: n17:
owl:sameAs
freebase:m.0j9mgnw n19:4eGqE yago-res:CAPD_library wikidata:Q5008740
dbp:wikiPageUsesTemplate
dbt:Wikidata dbt:Infobox_software dbt:Refs dbt:Start_date_and_age
dbp:developer
dbr:Jagiellonian_University
dbp:genre
dbr:Application_framework
dbp:license
GPL
dbp:operatingSystem
dbr:Multi-platform
dbp:programmingLanguage
dbr:C++
dbp:released
2005
dbp:website
n17:
dbo:abstract
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. 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.
prov:wasDerivedFrom
wikipedia-en:CAPD_library?oldid=1077048570&ns=0
dbo:wikiPageLength
2409
dbo:developer
dbr:Jagiellonian_University
dbo:genre
dbr:Application_framework
dbo:license
dbr:GPL
dbo:operatingSystem
dbr:Multi-platform
dbo:programmingLanguage
dbr:C++
foaf:isPrimaryTopicOf
wikipedia-en:CAPD_library