CAPD bibliotek
| Utvecklare | Jagiellonian University |
|---|---|
| Initial release | 2005 |
| Stabil frisättning |  4.2.153 / 24 juni 2016
|
| Förvar | |
| Skrivet i | C++ |
| Operativ system | Flera plattformar |
| Typ | Ansökningsram |
| Licens | GPL |
| Hemsida |
CAPD -biblioteket ( Computer Assisted Proofs in Dynamics ) är ett mjukvarubibliotek som syftar till att tillhandahålla en uppsättning flexibla C++-moduler designade för rigorösa numeriska siffror i dynamiska system och homologiberäkningar . Det har använts i forskning om kaotisk dynamik , bifurkationer, heteroclinic/homokliniska lösningar och periodiska banor. Delprojektet RedHom (Reduction Homology) tillhandahåller effektiva metoder för beräkning av en homologi av mängder baserade på geometriska och algebraiska reduktioner.
CAPD-biblioteket är utvecklat vid fakulteten för matematik och datavetenskap vid Jagiellonian University . Programvaran är tillgänglig under en GPL -licens med öppen källkod.