프로그램별 www.casadi.org

자급자족 C++로 작성된 최소한의 컴퓨터 대수 시스템은 희소매트릭스 가치 계산 그래프에서 앞뒤로 소스 코드 변환에 의해 자동 차별화를 구현합니다.