상단 수학 소프트웨어 에 Dmitry A. Kazakov

에이다에 대한 간격 산술 에이다에 대한 간격의 구현을 제공하는 수학 라이브러리입니다. 그것은 산술과 관계형 작업이 포함됩니다.예 :트라이 - 상태 로직패키지 간격 루트 패키지로서 기능하고 또한 간격에 관계 연산을 정의 할 필요가 삼 상태 로직을 제공한다. 논리 형태는 다음과 같이 정의된다 : 논리 유형이 (거짓, 사실, 불확실한); 다음 작업은 논리에 대해 정의 : 기능 "없습니다"(왼쪽 : 논리)는 논리를 반환; 기능 "과"(왼쪽, 오른쪽 : 논리)는...