• CPLEX公司

• 引用2814篇文章[sw04082]
• 解决线性规划及相关问题。明确地求解线性或二次约束优化问题。。。

• 拉帕克

• 参考1713篇文章[sw00503]
• 3级BLAS — 一套规格对于执行各种类型的Fortran子程序…由制造商提供。高效机器-具体的BLAS的实现是可用的…性能不如明确地优化的实现。。。

• 麦考拉2

• 引用于1963年的文章[sw00537]
• 安装计算方法明确地和他们在一起。Macaulay2可以计算Betti数，Ext，上同调。。。

• 伽马

• 引用882篇文章[sw04978号]
• 通用代数建模系统明确地设计用于建模线性，非线性和混合整数…耗时的细节具体的机器和系统软件实现。GAMS特别有用。。。

• 莫德

• 引用了700篇文章[sw06233]
• 支持等式逻辑和重写逻辑的系统规范以及广泛的编程…等式逻辑子语言。除了支持等式规范在编程方面，Maude还支持重写逻辑计算。。。

• Gmsh公司

• 引用783篇文章[sw00366]
• 几何，网格，解算器和后处理。这个规范对这些模块的任何输入。。。

• PVS公司

• 引用637篇文章[sw03484]
• 验证系统：即规范语言集成了支持工具和定理证明程序。。。

• 泡沫

• 参考文献561篇[sw04317]
• 包括80多个模拟求解器应用程序具体的工程力学及其他方面的问题。。。

• Z

• 引用286篇文章[sw10291]
• 使用Z。规范精炼和证明。这本书是一个深入的介绍。。。规范语言$Z$。主要面向用户；背景理论是——用…来促进形式学科的发展规范还有推理？另一个令人失望的是。。。

• 棱镜

• 引用了454篇文章[sw01186]
• 通过对这些系统进行模型检查规格写在概率时间逻辑PCTL。。。

• 抱怨

• 引用425篇文章[sw00610]
• 许多平台和操作系统。更多具体的产品信息、库内容和可用性单击。。。

• WordNet公司

• 引用411篇文章[sw01777]
• 只是单词组成字母串，但是具体的词义。结果，文字。。。

• 斯帕耶斯

• 引用394篇文章[sw10160]
• 方法的效率取决于MCMC具体的问题就在眼前。这需要大量的编码。。。

• 水蝇

• 引用了354篇文章[sw00341]
• 无限数量的平流/扩散被动示踪剂规范额外的源项可移植的并行支持。。。

• 代码23

• 引用335篇文章[sw06600]
• 向量T。在具体的乘以t0，t1，…，tf（都在增加。。。

• 澳大利亚

• 引用328篇文章[sw06367]
• 低马赫数极限的发展。明确地，我们使用渐近分析来形式化地推导。。。

• 防喷器

• 引用了235篇文章[sw17324]
• 由爆炸产生的对准到一个位置-具体的得分矩阵，并使用…这个矩阵搜索数据库。结果位置-具体的迭代爆破（PSIBLAST）程序的运行速度几乎相同。。。

• 团结

• 引用185篇[sw13461]
• 团结。我们评估统一——一个计算模型，规范Chandy…programs定义的语言和证明系统--作为仿真模型的平台规范和分析。我们描述了一种基于统一的方法，从仿真模型开始规范以一组耦合的形式…用形式证明它们是定理规范方法通过生成来说明。。。

• bvp4c公司

• 在315篇文章中引用[sw06178号]
• bvp4c将在具体的区间内的xint点。。。

• 兰斯洛特

• 在310篇文章中引用[sw00500]
• 这本书主要是关于具体的优化包，讨论的问题有更广泛的。。。