区间算术

算法763:区间算术:一个fortran90模块用于区间数据类型区间算术在自动验证计算中是有用的,即在算法本身严格证明答案必须在一定范围内的计算中。除了严格性外,区间算法还为全局优化和其他任务提供了一种简单的有时也很尖锐的函数范围定界方法。为了方便地使用区间算法,需要在编程语言中使用区间数据类型。尽管各种包都提供了这种数据类型,但以前的包都是特定于机器的、过时的、不受支持的,不适用于Fortran或商业语言。Fortran 90模块的区间算术在Fortran 90中提供了一种可移植的区间数据类型。此数据类型基于两个双精度实Fortran存储单元。模块间隔-算术使用Fortran 77库INTLIB(ACM TOMS算法737)作为支持库。该模块在作者的研究中得到了广泛的应用(资料来源:http://dl.acm.org/)

这个软件也是同行评审按日记帐汤姆斯.