ซีจีแอล
นักพัฒนา	มหาวิทยาลัยจาเกียลโลเนียน
ปล่อย	2548
เวอร์ชันเสถียร	6.0.0 [ 1 ]  / 31 มกราคม 2024 ( 31 มกราคม 2567 )
เขียนเป็น	ซี++
ระบบปฏิบัติการ	หลายแพลตฟอร์ม
พิมพ์	กรอบงานแอปพลิเคชัน
ใบอนุญาต	จีพีแอล[ 2 ]
เว็บไซต์	capd .ii .uj .edu .pl
ที่เก็บข้อมูล	github.com/CAPDgroup/CAPD​​​

ไลบรารีCAPD ( Computer Assisted Proofs in Dynamics ) เป็นไลบรารี ซอฟต์แวร์ ที่มุ่งเน้นการจัดหาชุดโมดูล C++ ที่ยืดหยุ่นซึ่งออกแบบมาสำหรับการคำนวณเชิงตัวเลขที่เข้มงวดในระบบพลวัตและ การคำนวณ โฮโมโลยี มี การนำไปใช้ในการวิจัยเกี่ยวกับพลวัต แบบ อลวน การแตกแขนงโซลูชันเฮเทอโรคลิก/โฮโมคลิก และวงโคจรคาบ โครงการย่อย RedHom (Reduction Homology) นำเสนอวิธีการที่มีประสิทธิภาพสำหรับการคำนวณโฮโมโลยีของเซตโดยอาศัยการลดรูปทางเรขาคณิตและพีชคณิต

ไลบรารี CAPD พัฒนาขึ้นที่คณะคณิตศาสตร์และวิทยาการคอมพิวเตอร์มหาวิทยาลัยยาเกียลโลเนียนซอฟต์แวร์นี้เปิดให้ใช้งานภายใต้ใบอนุญาต GPL แบบโอเพนซอร์ส