• UMFPACK

  • 323篇参考文献[SW0989]
  • 排序与符号分析阶段计算鞋帮跳跃关于填充、工作和记忆…稀疏矩阵的排序与分析计算数值分解,用……求解一个系统
  • 科桑普

  • 185篇参考文献[ SW08727 ]
  • 方法。此外,该算法提供了严格的界限打开(放)计算的成本和存储。很可能…
  • 背包

  • 447篇参考文献[ SW047 23 ]
  • 放松,界限精确解的约简和其他算法技术。计算的结果表明…
  • NQTHM

  • 146篇参考文献[SW075 43]
  • 同一作者的前一书题为“A”计算的逻辑“(1979;ZBL 448.68020)。真正重要的变化…他们的健全和允许有界量化和部分递归函数。这些变化…“in”正确性问题的证明过程电脑科学添加有界A的量化和部分函数计算的逻辑及其定理证明器…
  • 英特普特90

  • 301篇参考文献[SW04705]
  • 跳跃不可行检验,区间牛顿算法在John条件下的应用计算上的执行证明…
  • 国际实验室

  • 395篇参考文献[SW044]
  • 非常快)自动微分(正向模式,矢量化)计算(快速)梯度(求解非线性系统)具有误差的多精度区间算法界限(做这个工作,慢…
  • CIAOPP

  • 40篇参考文献[SW120 89]
  • 可变实例化性质,非失效,确定性,界限打开(放)计算的成本,界限关于术语的大小…
  • AXRES-XSC

  • 49篇参考文献[ SW000 015]
  • 合适的。一个完整的示例程序计算连续的界限关于初始解的…
  • 新鲜的

  • 48篇参考文献[SW08992]
  • 明确地。这可能有计算的交换效应跳跃新产生的名字…
  • 邦明

  • 178篇参考文献[SW047 66 ]
  • 跳跃并提出并实现了多面体外逼近两种极端情况。计算的
  • 男爵

  • 299篇参考文献[ SW000 066 ]
  • 男爵是计算的非凸优化问题的全局最优解系统纯连续的…用强化分支降低阿森纳跳跃概念,因为它蜿蜒通过…
  • MRMC

  • 66篇参考文献[SW04129]
  • MRMC支持计算时间与报酬有界可达概率,(属性驱动)互模拟…
  • 苏尔克

  • 119篇参考文献[SW11355 ]
  • 改进界限对隐私所需的噪声。其次,我们考察了计算的电源
  • 菲利布+

  • 39篇参考文献[SW0645 9]
  • 后者是最快的计算保证的界限对于区间版本的综合…扩展“例外”模式计算使用特殊值表示无穷大的模式…
  • SDPB

  • 80篇参考文献[SW23 927 ]
  • 示例应用程序计算一种新的严格高精度跳跃关于算子维数…
  • 凯利

  • 581篇参考文献[SW0824]
  • 求解投影方法的研究跳跃约束问题。所有章节总结…目标函数的评价电脑仿真。在这种情况下,噪音常常引起…
  • 再摊铺机

  • 50篇参考文献[SW04401]
  • 变量,连续的或离散的,必须是有界. 功能和约束必须定义…基于正确的舍入区间计算在一个分支中跳跃框架。它的主要特点…
  • 薄荷

  • 43篇参考文献[SW06197]
  • 基于分支和跳跃凸MINLP优化问题的算法计算机. 化学工程…分支的开放节点跳跃每当找到整数解时,树…MILP的MILP增强。我们详细介绍计算的实验表明,这样的好处…
  • VNoad

  • 18篇参考文献[SW11946]
  • 包装计算严格的界限关于初值问题的求解