• 数学软件

• 引用5883篇文章[sw00554]
• 唯一一个完全集成计算的开发平台完成工作流程，让你从最初的想法无缝地移动。。。

• DLMF

• 引用2225篇文章[SW048号]
• 配套网站，都计划在完成2003年。50多名数学家、物理学家。。。

• 阿巴克斯

• 引用于1452篇文章[sw04215]
• 统一FEA产品套件提供强大的完成常规和复杂工程的解决方案。。。

• 贝耶斯达

• 在1097篇文章中引用[sw11008]
• 鲁宾。希望不是所有的数据集完整的很快。。。

• 核平滑

• 在911文章中引用[sw04586]
• 做了一些牺牲。它没有完全地涵盖大量的研究。。。

• 糠

• 引用567篇文章[sw06916]
• 研究和工业。最现存的完成解算器是Davis Putnam的变种。。。描述一个新的完成解算器，箔条，通过。。。

• 凯利

• 引用了600篇文章[sw04829]
• 简洁明了而不是完成一般性和限制我们的范围的算法。。。

• 可爱的

• 引用558篇文章[sw04010]
• 提供。有关完成列表。。。

• 毫升

• 引用514篇文章[sw01218]
• 语言完全地使用形式语义指定和验证。它的类型和模式匹配。。。

• 泡沫

• 引用了390篇文章[sw04317]
• 处置。通过开放，OpenFOAM为用户提供完成自由定制和扩展其现有。。。

• 斯塔塔

• 引用335篇文章[sw06029]
• 斯塔塔是一个完成，提供数据分析所需的一切的综合统计软件包。。。

• 水獭

• 引用313篇文章[sw02904]
• 术语重写，术语排序，Knuth Bendix完成，权重，以及指导和限制搜索的策略。。。

• 术语

• 在293篇文章中引用[sw04942]
• 更简单、更高效。行话提供了完全地集成包，包括一个强大的语言。。。

• 帕迪索

• 引用269篇文章[sw00679]
• 正定的或不确定的，赫米特的。带完成旋转。在SMPs和群集上并行。。。

• 相位差

• 参考171篇文章[sw31783]
• 基于矩阵的相位恢复完成. 本文提出了一种新的相位恢复框架。。。灵感来自最近关于矩阵的文献完成. 更重要的是，我们还证明。。。

• 麦克莱斯

• 引用218篇[sw02076]
• 未知线性二进制码是一个NP-完成问题。对实施后量子的兴趣。。。

• ETPS公司

• 在153篇文章中引用[sw06302]
• 阅读手册（其中包含完成示例）和操作系统。那个学生。。。不离开程序。记录完整的练习由ETP维护。。。

• GSLIB公司

• 在209篇文章中引用[sw08284]
• 1990-1992年间。第二版是完整的1997年。两个版本都出版了。。。

• 顶部。m

• 207篇引用[sw22630]
• 该守则旨在教育目的。这个完成Matlab代码在附录中给出。。。

• SLIC公司

• 在139篇文章中引用[SW82号文件]
• 混合流体单元的近似值为完全地通过测试是否。。。正在考虑的方向。（4） 因为完全地SLIC界面的一维特性。。。