• 贝姆利布

• 参考101篇文章[sw00005]
• 软件边界元是一个软件边界元。。。

• ACL2

• 引用277篇文章[sw00060]
• ACL2是一种编程语言，其中。。。

• 可口可乐

• 在1784篇文章中引用[sw00161]
• Coq是一个正式的证据管理系统。它。。。

• 差距

• 引用2850篇文章[sw00320]
• GAP是一个计算离散代数系统。。。

• gmp

• 引用265篇[sw00363]
• GMP是一个任意精度的免费库。。。

• Gmsh公司

• 引用了576篇文章[sw00366]
• Gmsh是一个三维有限元网格生成器。。。

• 伊莎贝尔

• 在606篇文章中引用[sw00454]
• 伊莎贝尔是一个普通的校对助理。它允许。。。

• 拉帕克

• 在1626篇文章中引用[sw00503]
• LAPACK是用Fortran 90编写的，它提供。。。

• 麦考拉2

• 引用1658篇文章[sw00537]
• Macaulay2是一个致力于支持。。。

• 岩浆

• 引用2857篇文章[sw00540]
• 计算机代数系统（CAS）。岩浆是一个大的。。。

• 枫木

• 引用5040篇文章[sw00545]
• 经过30多年的切割。。。

• 数学软件

• 引用5883篇文章[sw00554]
• 几乎所有的工作流程都涉及到计算结果，而且。。。

• Matlab语言

• 参考12074篇文章[sw00558]
• MATLAB®是一种高级语言和交互式。。。

• 抱怨

• 引用417篇文章[sw00610]
• 由专家制作用于各种。。。

• NTL公司

• 引用200篇文章[sw00638]
• NTL是一个高性能，可移植的C++库。。。

• 倍频程

• 引用284篇文章[sw00646]
• GNUOctave是一种高级语言，主要是。。。

• R

• 在8359篇文章中引用[sw00771]
• 是一种统计语言和环境。。。

• 减少

• 引用739篇文章[sw00789]
• REDUCE是一个通用代数的交互系统。。。

• 线性代数库

• 在404篇文章中引用[sw00830]
• ScaLAPACK是可伸缩线性代数的缩写。。。

• 克里斯托费尔

• 引用225篇文章[sw00833]
• 算法756：一个MATLAB工具箱为施瓦兹克里斯托弗。。。