CAPD 라이브러리
CAPD library| 개발자 | 야기엘론 대학교 |
|---|---|
| 초기 릴리즈 | 2005 |
| 안정된 릴리스 | 4.2.153 / 2016년 6월 ; 전() |
| 저장소 | |
| 기입처 | C++ |
| 운영 체제 | 멀티플랫폼 |
| 유형 | 응용 프로그램 프레임워크 |
| 면허증. | GPL [1] |
| 웹 사이트 | capd |
CAPD 라이브러리(Computer Assisted Proofs in Dynamics)는 동적 시스템 및 호몰로지 계산에서 엄격한 계산을 위해 설계된 유연한 C++ 모듈 세트를 제공하는 것을 목적으로 하는 소프트웨어 라이브러리입니다.그것은 혼돈 역학, 분기, 이종사상/동일사상 용액 및 주기적 궤도에 대한 연구에 사용되어 왔다.RedHom(축소 호몰로지) 하위 프로젝트는 기하학적 및 대수적 축소에 기초한 집합의 호몰로지 계산을 위한 효율적인 방법을 제공한다.
CAPD 라이브러리는 Jagiellonian University 수학 및 컴퓨터 과학부에서 개발되었습니다.이 소프트웨어는 오픈소스 GPL 라이선스로 이용할 수 있습니다.
