• 英特普特90

  • 301篇参考文献[SW04705]
  • 第一章(69页)介绍区间算术解决线性的区间方程,自动微分和代码…
  • Z3

  • 440篇参考文献[SW0488]
  • 在微软研究开发的Z3支持线性的实整数算术固定大小的位向量,外延…
  • NQTHM

  • 142篇参考文献[SW075 43]
  • A的集成线性的 算术决策程序和一个相当原始的设施的添加…
  • 病灶

  • 57篇参考文献[SW12868 ]
  • 理论,如平等,未解释的功能,线性的 算术和数组。最重要的是,它可以计算…
  • 马赛特

  • 53篇参考文献[SW0949]
  • 平等和未解释的功能,差异逻辑,线性的 算术以及位向量理论…
  • 布莱斯

  • 470篇参考文献[SW0316]
  • 软件包。基本FORTRAN BLAS(BASIC)线性的代数子程序)按级别收集在一起…用于动态确定机器相关的MACHAR软件算术性能
  • 流行性腮腺炎

  • 354篇参考文献[SW04013]
  • 大解线性的具有对称正定矩阵的系统;一般对称矩阵;一般非对称矩阵…矩阵的复数形式算术并行分解和求解阶段(单处理器版本也可用);迭代…
  • 耶斯

  • 99篇参考文献[SW044 36]
  • 具有相等的未解释的函数符号线性的实整数算术标量类型、递归数据类型、元组…
  • 氯化铯

  • 45篇参考文献[SW09462]
  • 数组理论,归纳数据类型,和线性的真实算术目前正在实施。其他显著特征…
  • QOCA

  • 28篇参考文献[SW076]
  • 建议。目前,QOCA支持线性的 算术约束和两个不同的度量:平方…
  • 国际实验室

  • 379篇参考文献[SW044]
  • 内部夹杂与结构矩阵)稀疏S.P.D.线性的非线性方程组系统(包括无约束…单变量多项式零点(简单和簇)区间算术对于真实和复杂的数据,包括向量…
  • 乌克利特

  • 24篇参考文献[SW04667]
  • 未解释的函数与等式,整数线性的 算术和数组。UCLID也可以处理有限的形式…
  • 打火石

  • 35篇参考文献[SW097]
  • 包括多项式的高度优化例程算术线性的精确环上的代数…
  • 得到

  • 60篇参考文献[SW09464 ]
  • 领域中的问题算术,代数,三角,微积分,线性的代数和命题演算…
  • 西塞特

  • 15篇参考文献[SW11407]
  • 无量词理性理论线性的 算术与未解释的函数符号相等。我们的实施…结合效率线性的求解程序设计算术部分的效率…
  • 公主

  • 23篇参考文献[ SW068 72]
  • 一阶逻辑模的证明线性的整数算术. 公主是一个定理证明者…
  • 英根

  • 14篇参考文献[SW0980]
  • 本文介绍了一种自动的线性的 算术命令程序的不变生成器。InvGen…
  • 伊拉姆

  • 36篇参考文献[SW0869]
  • 能力范围从普通算术三角函数线性的代数,甚至稀疏矩阵…
  • 免除者

  • 10篇参考文献[SW21360]
  • 单引擎可能解决所有混合算术以及使用标准工具的布尔问题,例如…初步打算解决线性的 算术可扩展的体系结构证明是有用的,因为我们增加了…