• 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]
• 改进界限关于隐私所需的噪音。其次，我们检查计算的力量。。。

• 帕特里夏

• 引用48篇文章[sw17325]
• 用户的数量计算它有一个跳跃这与。。。

• 凯利

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

• 摊铺机

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

• V节点

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

• 电影公司

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