倍频程

实值区间算术的区间包允许人们在其子集的子集上计算函数。所有的结果都得到验证，因为区间计算自动跟踪任何错误。这些概念可以用来处理不确定性，估计算术误差，并产生可靠的结果。它也可以应用于计算机辅助证明、约束编程和验证计算。该实现是基于由Bial64 64表示的间隔边界，并且符合IEEE STD 1783-2015，IEEE区间算法标准。相关软件：Inlab、C-XSC、FiiB++。