• UMF包

  • 引用了354篇文章[sw00989]
  • 排序和符号分析阶段计算鞋面跳跃关于填充、工作和记忆。。。对稀疏矩阵进行排序和分析,计算数值分解,求解一个具有。。。
  • 科萨普

  • 参考文献202篇[sw08727]
  • 方法。此外,该算法提供了严格的界限计算的成本和存储。很可能。。。
  • 背包

  • 引用461篇文章[sw04723]
  • 放松,界限精确解的约化和其他算法技术。计算的结果显示。。。
  • 数量

  • 在149篇文章中引用[sw07543]
  • 同一作者的前一本书名为“A计算的逻辑”(1979;Zbl 0448.68020)。真正重要的改变。。。他们的健全和允许有界的量化和部分递归函数。这些变化。。。证明程序“【在”的正确性问题计算机科学。。。添加有界的量化与偏函数计算的逻辑及其定理证明者。。。
  • 语调90

  • 引用304条[sw04705]
  • 跳跃,不可行性检验,区间牛顿算法应用于John条件和计算上执行的证明。。。
  • 国际实验室

  • 引用418篇文章[sw04004]
  • 非常快)自动微分(正向模式,矢量化计算,快速)梯度(解决非线性系统。。。慢)带误差的多精度区间算法界限(做这个工作,慢点。。。
  • 再见

  • 引用41篇文章[sw12089]
  • 变量实例化属性,无故障,确定性,界限计算的成本,界限关于术语的大小。。。
  • ACRITH-XSC公司

  • 引用49篇文章[sw00015]
  • 适当的。完整的示例程序计算连续的界限关于一个初值的解。。。
  • 新鲜的

  • 引用49篇文章[sw08992]
  • 明确地。这可能有计算的交换效果跳跃新生成的名字。。。
  • 邦明

  • 引用185篇[sw04766]
  • 跳跃其中多面体外近似是两种极端情况,提出并实现。计算的...
  • 男爵

  • 在311篇文章中引用[sw00066]
  • 男爵是个计算的将非凸优化问题求解为全局最优性的系统。纯粹是连续的。。。通过增强的分支和跳跃当它蜿蜒而过的时候。。。
  • MRMC公司

  • 引用68篇文章[sw04129]
  • MRMC支持计算时间和奖励-有界的可达概率,(属性驱动)交互模拟。。。
  • SDPB公司

  • 引用87篇文章[sw23927]
  • 示例应用程序,我们计算一种新的严格的高精度跳跃在操作员维度上。。。
  • 菲利布++

  • 引用41篇文章[sw06459]
  • 后者是最快的计算保证的界限对于一个全面的间隔版本。。。扩展”模式,它扩展了无异常计算模式使用特殊值来表示无穷大。。。
  • 苏尔克

  • 参考文献121篇[sw11355]
  • 改进界限关于隐私所需的噪音。其次,我们检查计算的力量。。。
  • 凯利

  • 引用了600篇文章[sw04829]
  • 研究了求解的投影方法跳跃约束问题。所有章节以。。。目标函数的评估包括计算机模拟。在这种情况下,噪音通常会导致。。。
  • 摊铺机

  • 引用了50篇文章[sw04401]
  • 变量,连续或离散,必须有界的. 必须定义函数和约束。。。基于正确取整的间隔计算在一个分支机构和-跳跃框架。它的主要功能。。。
  • V节点

  • 引用了20篇文章[sw11946]
  • 包装计算严谨界限关于初值问题的解。。。
  • 电影公司

  • 引用44篇文章[sw06197]
  • 分公司和-跳跃凸MINLP优化问题的算法计算机. 化学工程。。。打开分支和-跳跃找到整数解时树。。。MINLPs的MILP增强功能。我们详细介绍计算的实验证明了这种方法的好处。。。