• 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]
• 求解投影方法的研究跳跃约束问题。所有章节总结…目标函数的评价电脑仿真。在这种情况下，噪音常常引起…

• 帕特丽夏

• 45篇参考文献[SW17325]
• 用户数量计算哪个有跳跃这取决于线性关系…

• 再摊铺机

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

• 薄荷

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

• VNoad

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