英特利

算法737：ItLIB——一个便携式FORTRAN 77区间标准函数库。ItLIB意味着是一个现成的、可移植的、详尽记录的间隔算术库，用标准FORTRAN 77编写。它的基本思想是提供间隔操作的标准，以帮助有效地传输涉及区间算术的程序。该模型是BRAS软件包，用于基本的线性代数运算。该库由基本区间算术例程、间隔数据和值的标准函数例程和效用例程组成。该库可以与ItbIs（算法681）一起使用，并且FORTRAN 90模块使用库定义第一个作者可获得的间隔数据类型。来源HTTP://DL.ACM.Org/）

这个软件也是同行评审通过期刊toms.

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaX中的参考文献（29篇）1标准条款）

显示结果1至20的29。
按年份排序（引文）
  1. Runp，Siegfried M.：浮点算术中数学上严格的全局优化（2018）
  2. 温柔，James E.：矩阵代数。统计学中的理论、计算与应用（2017）
  3. Gon阿尔维斯，M. L. N.；Melo，J. G.；PrimeTune，L. F.：有可能不可行的非线性规划的增广拉格朗日方法（2015）
  4. Birgin，E. G.；Magni-Nez，J. M.；PrimeTune，L. F.：全局非线性规划可能不可行和有限终止的增广拉格朗日（2014）
  5. Runp，Siegfried M.：稠密线性系统的精确解。II:使用有向舍入算法（2013）
  6. Runp，Siegfried M.：快速区间矩阵乘法（2012）
  7. Kearfott，Ralph Baker：确定性连续全局优化中的区间计算、严密性和非严格性（2011）
  8. Birgin，E. G.；Floudas，C. A.；MaldNez，J. M.：使用变低阶约束的增广拉格朗日方法的全局极小化（2010）
  9. Stradi Granados，Benito A.；Haven，艾曼纽：区间算法在求解非线性有理期望多周期输出通货膨胀过程模型中的应用：以I/GB方法（2010）为例
  10. 臀部，Siegfried M.；齐默尔曼，保罗；Boldo，Salvi.；MelQueon，纪尧姆：计算舍入到最近（2009）的前身和后继者
  11. Pryce，J. D.；CordISS，G. F.：带包容集的区间算术（2006）
  12. RevOL，娜塔丽；Rouier-R，法布里斯：任意精度区间算术和MPFI库的动机（2005）
  13. Watanabe，Yoimaka；山本，Nobito；Nakao，Mitsuhiro T.；尼希达，Takaaki：热对流问题非平凡解的数值验证（2004）
  14. Hofschuster，沃纳；Kr SuMeMe，沃尔特：Web上的数学函数软件——这些代码对验证算法有用吗？（2000）
  15. Runp，Siegfried M.：快速并行区间算术（1999）
  16. 胡，Chengyi：大规模一般稀疏非线性方程组的并行解。（1996）伊波尔特
  17. Kearfott，R. Baker：严格的全局搜索：连续问题（1996）
  18. Kearfott，R. Baker：算法763：区间（ω）算术：区间数据类型的FORTRAN 90模块（1996）
  19. Kearfott，R. Baker：全局优化和非线性系统求解器的非光滑函数的区间延拓（1996）
  20. Schulte，Michael J.；斯瓦茨兰德，Earl E. jun.：变精度，区间算术协处理器（1996）