CAPD library

{{Short description|C++ module software library}}

{{Infobox software

| name = CGAL

| title =

| logo =

| logo caption =

| screenshot =

| caption =

| collapsible =

| author =

| developer = Jagiellonian University

| released = 2005

| discontinued =

| latest release version = {{wikidata|property|edit|reference|P348}}

| latest release date = {{start date and age|{{wikidata|qualifier|P348|P577}}}}

| latest preview version =

| latest preview date =

| programming language = C++

| operating system = Multi-platform

| platform =

| size =

| language =

| language count =

| language footnote =

| genre = Application framework

| license = GPL {{Cite web|url=http://capd.ii.uj.edu.pl/capd/license.html|title=Gnu GPL}}

| alexa =

| website = {{URL|http://capd.ii.uj.edu.pl/}}

| standard =

| AsOf =

}}

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.