新 教育和科學軟件 為 Dmitry A. Kazakov

間隔算術艾達是一個數學庫，提供間隔的Ada的實現。它包括算術和關係運算。例如：三態邏輯包間隔用作根包，並提供必要的間隔定義關係操作的三態邏輯。類型的邏輯被定義為： 類型邏輯是（假，真，不確定）; 下面的操作定義邏輯： 功能“不”（左：邏輯）返回邏輯; 功能“和”（左，右：邏輯）返回邏輯;    功能“和”（左：邏輯;右：布爾）       返回邏輯;    功能“和”（左：布爾;右：邏輯）       返回邏輯; 函數“或”（左，右：邏輯）返回邏輯;    函數“或”（左：邏輯;右：布爾）       返回...