间隔_ARITHMETIC swMATH ID: 4681 软件作者: R.Baker Kearfott先生 说明: 算法763:INTERVAL-ARITHMETIC:INTERVAL数据类型的Fortran 90模块区间算法在自动验证的计算中很有用,即在算法本身严格证明答案必须在特定范围内的计算中。除了严格性之外,区间算法还为全局优化和其他任务提供了一种简单且有时尖锐的函数范围边界方法。为了方便地使用区间算法,需要在编程语言中使用区间数据类型。尽管各种软件包都提供了这种数据类型,但对于Fortran或商业语言以外的语言,以前的软件包是特定于机器的、过时的且不受支持的。Fortran 90模块INTERVAL-ARITHMETIC在Fortran 90中提供了一种可移植的区间数据类型。此数据类型基于两个双精度实数Fortran存储单元。模块INTERVAL-ARITHMETIC使用Fortran 77库INTLIB(ACM TOMS Algorithm 737)作为支持库。该模块在作者自己的研究中得到了广泛应用 主页: http://dl.acm.org/citation.cfm?id=235815.235816 编程语言: Fortran 90型 关键词: 区间算术;Fortran 90模块\(ext{INTERVAL}某人-ext{算术}\);计算机算术;误差分析;运算符过载;可移植性;自动验证的计算 相关软件: 国际图书馆;并入PT_90;Matlab公司;GSL公司;EISPACK公司;LAPACK公司;全球溶胶;针织物;R工作室;算法722;蟒蛇;算法719;算法818;算法694;算法695;Hadoop公司;卢比;PVM公司;LINPACK系列;PSBLAS公司 引用于: 9文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 算法763:INTERVAL\(_-\)ARITHMETIC:用于区间数据类型的Fortran 90模块。 Zbl 0884.65041号R.Baker Kearfott先生 1996 全部的 前5名8位作者引用 4 贝克·基尔福特 2 温和点,詹姆斯·E。 1 贝诺·查查特 1 Dian、Jianwei 1 胡安·弗洛雷斯。 1 武彦基诺西塔 1 Latifi,医学硕士。 1 Nakao,Mitsuhiro T。 5篇连载文章中引用 2 ACM数学软件汇刊 2 统计中的Springer文本 1 计算与应用数学杂志 1 复杂性杂志 1 优化方法和软件 全部的 前5名在7个字段中引用 5 数值分析(65-XX) 三 运筹学、数学规划(90-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 统计学(62-XX) 1 偏微分方程(35-XX) 1 变分法与最优控制;最优化(49至XX) 1 计算机科学(68至XX) 按年份列出的引文