• 国际实验室

  • 引用417篇文章[sw04004]
  • 一元多项式零点(简单和簇)间隔 算术包括实数向量。。。矩阵(非常快)间隔 算术对于实的和复杂的稀疏矩阵(非常快)自动微分。。。单变量函数单变量和多变量(间隔)严格实多项式间隔标准功能(快速,非常。。。解释,参考实施,慢)多精度间隔 算术有错误界限(工作,慢。。。
  • 语调90

  • 在304篇文章中引用[sw04705]
  • 专著概述了间隔 算术求解方程组的基本方法。。。几乎不可避免的优化部分。这个间隔 算术遵循自我验证的哲学。。。软件和库软件包间隔 算术以及解决上述问题的方法。。。第一章(69页)介绍间隔 算术,求解线性间隔方程,自动微分和代码。。。
  • 隔离

  • 引用208篇文章[sw07741]
  • 半数值版本,使用多精度间隔 算术. 我们最后展示了这些关键的优化。。。
  • 轮廓/偏差

  • 参考文献125篇[sw00733]
  • PROFIL基于偏差(基本间隔 算术子程序)。偏见的发展被引导。。。提供这样一个接口间隔目标是:非常高效。。。
  • MPFI公司

  • 引用了40篇文章[sw00597]
  • 任意精确的动机间隔 算术还有MPFI图书馆。本文证明。。。任意精度间隔 算术是需要的。提供准确的结果,间隔计算需要少量输入。。。与固定精度的比较间隔 算术对一个具体问题进行了分析。它显示。。。
  • ACRITH-XSC公司

  • 引用49篇文章[sw00015]
  • 带舍入控制,间隔复杂的间隔 算术,精确向量/矩阵算术,一个放大的。。。
  • 摊铺机

  • 引用了50篇文章[sw04401]
  • 由分析表达式定义算术运算与超越初等函数。严格:Realpaver覆盖。。。确定性。解决方法:Realpaver实现正确圆角间隔-基于分支和边界的计算。。。还提供了基准。间隔 算术由监狱支持。。。
  • 国际图书馆

  • 引用了29篇文章[SW0044号]
  • 随时可用、便携、详尽记录间隔 算术用Fortran标准库编写。它的基础。。。哲学是为间隔操作。。。高效地传输包括间隔 算术. 模型是BLAS包,用于基本线性。。。图书馆由小学组成间隔 算术例程,标准函数例程间隔数据。。。
  • 数学硕士

  • 参考第36条[sw05802]
  • 用于任意精度浮点的Python库算术. 它实现了Python的标准函数。。。数值微分、积分、寻根和间隔 算术. 它支持无限的指数大小,有完整的。。。
  • Boost区间算法

  • 引用15篇文章[sw13013]
  • 助推器的设计间隔 算术图书馆。我们介绍了助推器的设计间隔...算术library,一个设计用来处理数学的C++库间隔在一个普通的。。。在数学上正确实现间隔 算术. 不同的实现具有不同的语义。。。专业图书馆可用于间隔 算术不牺牲任何表现。。。
  • 基准

  • 引用24篇文章[sw04612]
  • 从一个经典的方法间隔 算术为了检查轨道是否可以移动。。。
  • 区间算术

  • 在10篇文章中引用[sw04681]
  • 算法763:间隔-算术:Fortran 90模块间隔数据类型间隔 算术... 一定的界限。除了严格,间隔 算术也提供了一个简单,有时尖锐。。。其他任务。方便使用间隔 算术需要一个间隔程序中的数据类型。。。商业的。Fortran 90模块间隔-算术提供便携式间隔Fortran数据类型。。。
  • 监狱

  • 引用13篇文章[sw05586]
  • Gaol是一个用于间隔 算术. 它应该是一个快速。。。为任何有兴趣评估的人提供图书馆间隔 算术优点还是经常使用它。。。
  • 法巴德++

  • 引用54篇文章[sw04863]
  • 在中实现的算术类型,如双精度和间隔. 一个少校。。。模板类型的行为也类似于算术类型。广告模板的此属性启用。。。
  • 英特派克

  • 引用9篇文章[sw09276]
  • 实验的间隔 算术枫木包装。我们描述了一个实验性的任意精度间隔 算术包裹。。。建议的基础设施间隔 算术子程序(偏差)库。我们在这里概述一下。。。
  • VPI

  • 在14篇文章中引用[sw01007]
  • 本文作者)支持可变精度间隔 算术. 它似乎是最古老的。。。
  • 移动

  • 引用9篇文章[sw10866]
  • 这个开源软件,描述了间隔 算术帮助实施新的传输元件。。。增强现有的建模软件间隔 算术概念。。。
  • 野山羊

  • 参考12篇文章[sw11947]
  • 考虑在内。它基于间隔 算术和仿射算术. 主要功能。。。
  • 拉萨特

  • 参考7篇文章[sw15206]
  • 各种各样的背景理论间隔 算术. 主要特点是:raSAT应用了raSAT循环,这。。。保留,raSAT循环通过间隔分解。以拉桑为基地间隔... 与希萨特相似。拉萨特准备各种间隔 算术作为过近似理论,它主要是。。。
  • GNU Fortran语言

  • 引用5篇文章[sw00959]
  • 硬件支持的开发间隔 算术. 本文描述了对。。。为提供支持的Fortran编译器间隔 算术. 这些修改是基于最近。。。建议的Fortran 77间隔 算术规范,它提供了支持间隔 算术...