国际图书馆

算法737:INTLIB-一个可移植的fortran77区间标准函数库。INTLIB是一个随时可用、可移植、详尽记录的区间算术库,用标准fortran77编写。它的基本原理是为区间运算提供一个标准,以帮助高效地传输涉及区间运算的程序。模型是BLAS包,用于基本线性代数运算。该库由基本的区间算术例程、区间数据和值的标准函数例程以及实用程序例程组成。该库可以与INTBIS(算法681)一起使用,第一作者可以使用fortran90模块来定义区间数据类型。(资料来源:http://dl.acm.org/)

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


zbMATH中的参考文献(参考文献29条,1标准件)

显示第1到第20个结果,共29个。
按年份排序(引用)
  1. Rump,Siegfried M.:浮点运算中的数学严格全局优化(2018)
  2. 斯温特,詹姆斯E.:矩阵代数。统计学理论、计算与应用(2017)
  3. 冈萨尔维斯,M.L.N。;梅洛,J.G。;Prudence,L.F.:可能不可行非线性规划的增广拉格朗日方法(2015)
  4. 例如,伯金。;马丁内斯,J.M。;Prudence,L.F.:全局非线性规划的可能不可行和有限终止的增广拉格朗日函数(2014)
  5. Rump,Siegfried M.:稠密线性系统的精确解。二: 使用定向舍入的算法(2013)
  6. Rump,Siegfried M.:快速区间矩阵乘法(2012)
  7. Kearfott,Ralph Baker:区间计算,确定性连续全局优化中的严格性和非严格性(2011)
  8. 例如,伯金。;弗洛达斯,加州。;Martínez,J.M.:使用具有可变低层约束的增广拉格朗日方法的全局最小化(2010)
  9. 斯特拉迪格拉纳多斯,贝尼托A。;Haven,Emmanuel:区间算法在求解基于非线性理性预期的多周期产出膨胀过程模型中的应用:以in/GB方法为例(2010)
  10. 臀部,齐格弗里德M。;Zimmermann,保罗;西尔维,博尔德;Melquiond,Guillaume:四舍五入中的计算前辈和后继者(2009)
  11. 普赖斯,J.D。;Corliss,G.F.:包含集的区间算术(2006)
  12. 雷沃,娜塔莉;Rouillier,Fabrice:任意精度区间算法的动机和MPFI库(2005)
  13. 渡边,吉中;山本信孝;中岛,三桥。;Nishida,Takaki:对流热问题非平凡解的数值验证(2004)
  14. 霍夫舒斯特,沃纳;Krämer,Walter:网络上的数学函数软件——这些代码对验证算法有用吗?(2000年)
  15. Rump,Siegfried M.:快速并行区间算法(1999)
  16. 胡成义:大规模一般稀疏非线性方程组的并行解。(1996年)ioport公司
  17. Kearfott,R.Baker:严格的全局搜索:连续问题(1996)
  18. Kearfott,R.Baker:算法763:区间(-)算术:区间数据类型的Fortran 90模块(1996)
  19. Kearfott,R.Baker:用于全局优化和非线性系统解算器的非光滑函数的区间扩张(1996)
  20. 舒尔特,迈克尔J。;斯瓦茨兰德,厄尔E.琼:可变精度,区间算术协处理器(1996)