• _度

  • 在304篇文章中引用[sw04705]
  • 第一章(69页)介绍了区间算术,正在解决线性的区间方程,自动微分和代码。。。
  • z3型

  • 引用479篇文章[sw04887]
  • 由Microsoft Research开发。Z3支持线性的实整数算术,固定大小位向量,扩展。。。
  • 数量

  • 在146篇文章中引用[sw07543]
  • a的集成线性的 算术决策程序和一个相当原始的设施的增加。。。
  • 焦点

  • 参考58篇文章[sw12868]
  • 理论,比如平等,无意义函数,线性的 算术,和数组。最重要的是,它可以计算。。。
  • 数学卫星

  • 在56篇文章中引用[sw09449]
  • 等式和未解释函数,差分逻辑,线性的 算术位向量理论。。。
  • 依斯

  • 参考文献136篇[sw04436]
  • 具有相等性的未解释函数符号,线性的实整数算术,标量类型,递归数据类型,元组。。。
  • 布拉斯

  • 引用479篇文章[sw03216]
  • 软件包。主要是Fortran BLAS(基本版线性的代数子程序)收集在一起的水平。。。动态确定依赖机器的MACHAR软件算术属性。。。
  • 流行性腮腺炎

  • 引用398篇文章[sw04013]
  • 大型解决方案线性的具有对称正定矩阵的系统;一般对称矩阵;一般非对称。。。矩阵;复杂的版本算术;并行分解和求解阶段(也提供单处理器版本);迭代。。。
  • CVC公司

  • 引用47篇文章[sw09462]
  • 数组理论,归纳数据类型,以及线性的真实的算术目前正在实施。其他值得注意的功能。。。
  • 库卡

  • 引用了29篇文章[sw00756]
  • 建议。目前,QOCA支持线性的 算术约束和两个不同的度量:平方。。。
  • 国际实验室

  • 引用409篇文章[sw04004]
  • 稀疏结构矩阵。线性的非线性方程组(包括无约束。。。一元多项式零点(简单和簇)区间算术对于真实和复杂的数据包括向量。。。
  • 打火石

  • 引用42篇文章[sw00297]
  • 包括多项式的高度优化例程算术线性的精确环上的代数。。。
  • 乌克利德

  • 引用25篇文章[sw04657]
  • 整型函数和未解释的等式线性的 算术,和数组。UCLID还可以处理有限的表单。。。
  • 得到

  • 引用64篇文章[sw02964]
  • 领域的问题算术代数,三角学,微积分,线性的代数和命题演算。。。
  • CSIsat公司

  • 引用15篇文章[sw11407]
  • 理性的无量词理论线性的 算术与未解释的函数符号相等。我们的实施。。。结合了线性的用于解决算术放弃效率。。。
  • 替代物

  • 引用15篇文章[sw04888号]
  • 空等式理论和线性的 算术. Alt Ergo还包含一个自制的。。。
  • 公主

  • 引用23条[sw06872]
  • 一阶逻辑模的证明线性的整数算术. 公主是个定理证明者。。。
  • 因夫根

  • 在14篇文章中引用[sw09780]
  • 我们介绍的是InvGen,一种自动线性的 算术命令程序的不变生成器。因夫根。。。
  • 伊洛姆

  • 引用了37篇文章[sw08769]
  • 能力从普通的算术三角函数到线性的代数甚至稀疏矩阵。。。
  • 赦免者

  • 在10篇文章中引用[sw21360号]
  • 单引擎可能解决所有混合算术以及使用标准工具的布尔问题,比如。。。主要目的是解决线性的 算术可扩展的体系结构,证明了它是有用的。。。