• 国际实验室

  • 引用426篇文章[sw04004]
  • 无约束优化)一元和多元的根非线性方程组(简单和群集)特征值问题(简单。。。一元多项式零点(简单和簇)区间算术对于真实和复杂的数据包括向量。。。矩阵(非常快)区间算术对于实的和复杂的稀疏矩阵(非常快)自动微分。。。计算,快速)梯度(求解非线性Hessians(用于全局优化)泰勒级数。。。
  • cc(FD)

  • 17条引用[sw21237]
  • 方案[21]。其约束解算器包括(非线性)算术在自然数上近似。。。
  • 海狸

  • 引用9篇文章[sw00071]
  • 包括有符号和无符号非线性算术操作员。海狸特别适合解决。。。路径可行性查询),安全性(丰富的非线性 算术)和等价性检查(丰富的布尔结构。。。
  • 语调90

  • 在304篇文章中引用[sw04705]
  • 第一章(69页)介绍了区间算术求解线性区间方程,自动微分和程序设计。。。缩短解决方案间隔。关于解决的章节非线性方程组(23页)特征。。。
  • 摊铺机

  • 引用了50篇文章[sw04401]
  • 优化。问题:Realpaver允许建模和求解非线性非凸约束满足和优化问题。。。由分析表达式定义算术运算与超越初等函数。严格:Realpaver覆盖。。。
  • EFSMT公司

  • 引用2篇文章【sw19487】
  • 约束条件下的命题组合(包括非线性 算术)作为分析的逻辑框架和基础。。。BIBO稳定性,Lyapunov系数的求法非线性控制系统,协调系统的分布式优先级综合。。。求解器使用伯恩斯坦多项式进行求解非线性 算术约束。。。
  • LISP-STAT公司

  • 引用116篇文章[sw01111]
  • 口齿不清。Lisp Stat扩展了标准Lisp算术执行元素操作的操作。。。统计模型表示,例如线性和非线性回归模型和广义线性模型。很多。。。
  • 杰伯斯坦

  • 引用2篇文章【sw19486】
  • 限制。有效且可扩展的验证非线性真实的算术约束在许多自动化。。。经典决策程序的问题非线性真实的算术仍然是一个主要的障碍。。。
  • 贝勒罗芬

  • 1条引用[sw23943]
  • 发现和建立不变量非线性连续系统,算术简化以使效益最大化。。。
  • 野山羊

  • 参考12篇文章[sw11947]
  • 基于间隔算术和仿射算术. 野山羊的主要特点是它的能力。。。一个系统的每个解决方案(非线性)计算公式。全局优化。全局最小化。。。
  • 智能求解器

  • 引用3篇文章[sw08787]
  • 基于区间的函数算术为了解决小规模的全局优化问题。。。用于绑定非线性优化问题,等式约束与否。。。
  • VS2DT

  • 引用2篇文章[sw08695]
  • Freundlich或Langmuir)等温线和离子交换。非线性存储项用隐式线性化。。。使用全上游加权的单元边界,算术平均值或几何平均值。饱和导水率。。。
  • aaflib公司

  • 1条引用[sw34015]
  • 仿射数学构造的实现算术在C++中。这个结构已经被引入。。。spice类的主计算库非线性电路模拟器。目前图书馆。。。
  • 动态

  • 引用2篇文章[sw02656]
  • 非定常运动的研究非线性旋转系统和扭转分析。。。对称系统。广泛使用复杂算术在分析的各个部分。应用。。。
  • ORT1型

  • 1条引用【sw16624】
  • 出现噪声。校准问题非线性测量装置可以考虑。。。高度适合单精度算术; (b) 正交多项式的快速精确的伸缩。。。
  • 去求积

  • 1条引用[sw12625]
  • 半无限域算术包括大浮动;为了提供。。。Julia包Ipopt用于解决非线性程序。。。
  • ATCase公司

  • 在0篇文章中引用[sw25243]
  • 提供。具体来说,对于解决的难度非线性约束方面,低阶矩矩阵恢复。。。计算中,我们充分利用了区间算术在计算过程中提供。。。KLEE-FP,尤其是在复杂情况下非线性约束。。。
  • 阿多-C

  • 引用239篇文章[sw00019]
  • ADOL-C:C/C++的自动微分。我们呈现。。。