-
UMF包
- 引用了354篇文章[sw00989]
- 排序和符号分析阶段计算鞋面跳跃关于填充、工作和记忆。。。对稀疏矩阵进行排序和分析,计算数值分解,求解一个具有。。。
-
数量
- 在149篇文章中引用[sw07543]
- 同一作者的前一本书名为“A计算的逻辑”(1979;Zbl 0448.68020)。真正重要的改变。。。他们的健全和允许有界的量化和部分递归函数。这些变化。。。证明程序“【在”的正确性问题计算机科学。。。添加有界的量化与偏函数计算的逻辑及其定理证明者。。。
-
国际实验室
- 引用418篇文章[sw04004]
- 非常快)自动微分(正向模式,矢量化计算,快速)梯度(解决非线性系统。。。慢)带误差的多精度区间算法界限(做这个工作,慢点。。。
-
再见
- 引用41篇文章[sw12089]
- 变量实例化属性,无故障,确定性,界限在计算的成本,界限关于术语的大小。。。
-
男爵
- 在311篇文章中引用[sw00066]
- 男爵是个计算的将非凸优化问题求解为全局最优性的系统。纯粹是连续的。。。通过增强的分支和跳跃当它蜿蜒而过的时候。。。
-
菲利布++
- 引用41篇文章[sw06459]
- 后者是最快的计算保证的界限对于一个全面的间隔版本。。。扩展”模式,它扩展了无异常计算模式使用特殊值来表示无穷大。。。
-
凯利
- 引用了600篇文章[sw04829]
- 研究了求解的投影方法跳跃约束问题。所有章节以。。。目标函数的评估包括计算机模拟。在这种情况下,噪音通常会导致。。。
-
摊铺机
- 引用了50篇文章[sw04401]
- 变量,连续或离散,必须有界的. 必须定义函数和约束。。。基于正确取整的间隔计算在一个分支机构和-跳跃框架。它的主要功能。。。
-
电影公司
- 引用44篇文章[sw06197]
- 分公司和-跳跃凸MINLP优化问题的算法计算机. 化学工程。。。打开分支和-跳跃找到整数解时树。。。MINLPs的MILP增强功能。我们详细介绍计算的实验证明了这种方法的好处。。。