顶部 数学软件 为 Dmitry A. Kazakov

间隔算术艾达是一个数学库，提供间隔的Ada的实现。它包括算术和关系运算。例如：三态逻辑包间隔用作根包，并提供必要的间隔定义关系操作的三态逻辑。类型的逻辑被定义为： 类型逻辑是（假，真，不确定）; 下面的操作定义逻辑： 功能“不”（左：逻辑）返回逻辑; 功能“和”（左，右：逻辑）返回逻辑;    功能“和”（左：逻辑;右：布尔）       返回逻辑;    功能“和”（左：布尔;右：逻辑）       返回逻辑; 函数“或”（左，右：逻辑）返回逻辑;    函数“或”（左：逻辑;右：布尔）       返回...