• 国际实验室

  • 395篇参考文献[SW044]
  • 单变量多项式零点(简单和簇)间隔 算术对于真实和复杂的数据,包括向量…矩阵(非常快)间隔 算术对于真实的和复杂的稀疏矩阵(非常快)自动微分…单变量单变量和多变量函数间隔多项式严格实数间隔标准功能(快速,非常…解释、参考实现、慢速多精度间隔 算术有误差界限(做作业,慢……)
  • 英特普特90

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

  • 200篇参考文献[SW0771]
  • 半数值化,多精度间隔 算术. 最后,我们证明了这些关键优化…
  • 轮廓/偏压

  • 122篇参考文献[SW07333 ]
  • PrimILE是基于偏倚(Basic)的间隔 算术子程序)。引导偏倚的发展。提供这样的接口间隔操作的目的:非常有效…
  • MPFI

  • 38篇参考文献[SW05997 ]
  • 任意精度的动机间隔 算术和MPFI图书馆。本文证明……是正当的。任意精度间隔 算术是需要的。为了提供准确的结果,间隔计算需要小的输入…固定精度比较间隔 算术在一个特定的问题,提出。它表明…
  • AXRES-XSC

  • 49篇参考文献[ SW000 015]
  • 通过舍入控制,间隔复杂间隔 算术精确向量/矩阵算术一个放大的…
  • 再摊铺机

  • 50篇参考文献[SW04401]
  • 由通常涉及的解析表达式定义算术运算与超越初等函数。严密性:RealPaver覆盖…确定性。解决方法:RealPaver实现正确舍入间隔基于分支定界的计算…还提供了基准。间隔 算术被监狱支持…
  • 英特利

  • 29篇参考文献[SW044]
  • 随时可用,便携式,详尽记录间隔 算术图书馆,用标准FORTRAN 77编写。它的基础…哲学是提供一个标准间隔运营有效地运输涉及的程序间隔 算术. 该模型是BRAS封装,对于基本线性…图书馆是由初等图书馆组成的间隔 算术例程,标准函数例程间隔数据
  • 数学硕士

  • 34篇参考文献[SW05802]
  • 任意精度浮点的Python库算术. 它从Python实现标准函数…数值微分、积分、求根和间隔 算术. 它支持无限指数大小,已满…
  • Boost区间算法

  • 15篇参考文献[SW13013]
  • 增压器的设计间隔 算术图书馆我们提出了升压的设计。间隔算术库,一个设计用于处理数学的C++库间隔有效地和通用的…有一个数学上正确的实现间隔 算术. 各种实现存在不同的语义…可供专业图书馆使用间隔 算术没有任何损失的表现,也没有牺牲的轻松…
  • 基准点

  • 23篇参考文献[SW04612]
  • 从使用的经典方法间隔 算术检查轨迹是否可以移动…
  • 区间算术

  • 10篇参考文献[SW0461]
  • 算法763:间隔-算术一个FORTRAN 90模块间隔数据类型间隔 算术一定的界限。除了严谨之外,间隔 算术还提供了一个简单的,有时尖锐…其他任务。方便使用间隔 算术需要一个间隔编程中的数据类型…广告FORTRAN 90模块间隔-算术提供便携式间隔FORTRAN中的数据类型…
  • 监狱

  • 13篇参考文献[SW05686]
  • GAOL是一个C++库间隔 算术. 它应该是一个快速的…有兴趣的图书馆间隔 算术优点或使用它定期…
  • 法达巴斯+

  • 53篇参考文献[SW0863]
  • 这是在算术类型,如双打和间隔. 其中一个主要…模板类型也表现得像算术类型这个广告模板的属性使…
  • 因特帕克

  • 9篇参考文献[SW09266]
  • 试验性间隔 算术包装在Maple。我们描述了一个实验任意精度间隔 算术旅行包那些建议的基础间隔 算术子程序(偏压)库。我们在此给出一个概述…
  • VPI

  • 14篇参考文献[SW01007]
  • 支持可变精度间隔 算术. 它似乎是最古老的…
  • 手机

  • 9篇参考文献[SW10866 ]
  • 这个开源软件,描述了如何间隔 算术帮助实现新的传输元件…用已有的建模软件间隔 算术概念
  • 羊的

  • 11篇参考文献[SW11947]
  • 考虑到。它是建立在间隔 算术仿射算术. 主要特点…
  • 拉萨特

  • 6篇参考文献[SW15206]
  • 背景理论是多种多样的间隔 算术. 主要特点是:RASAT应用RASAT环,…保持,RASAT循环细化有界量化间隔分解。RASAT是基于间隔类似于HySAT。RASAT准备各种间隔 算术作为过度逼近理论,主要是…