• 岩浆

• 引用2857篇文章[sw00540]
• 支持良好的大型软件包设计对于计算在代数，数论，代数几何。。。环，域，模，代数，模式，曲线，图，设计、代码和许多其他。岩浆也。。。支持多个数据库设计帮助计算的在数学领域的研究。。。

• 阿帕克

• 引用783篇文章[sw04218]
• 尺度特征值问题。包裹是设计到计算一些特征值和相应的特征向量。。。重要应用领域。软件是设计到计算几个（k）特征值与用户。。。

• UCI毫升

• 在3041篇文章中引用[sw04074]
• 计算机科学。网站的当前版本是设计亚瑟在2007年。。。

• 巴黎/GP

• 引用586篇文章[sw00680]
• 习惯于电脑类代数系统设计快速计算在数论中，也包含。。。

• R

• 在8359篇文章中引用[sw00771]
• 统计语言与环境计算和图形。这是一个GNU项目。。。强项是指-设计可以制作出版质量图，包括。。。

• 朱莉娅

• 引用259篇文章[sw13986]
• 动态技术语言计算,设计从一开始就通过调整和扩展。。。

• 拉帕克

• 在1626篇文章中引用[sw00503]
• 计算通过调用基本线性代数子程序（BLAS）来执行。拉帕克是设计... 在许多高性能上促进高效率计算机，特别是如果提供了特殊编码的实现。。。

• CGAL公司

• 引用了355篇文章[sw00118]
• 例如：计算机图形，科学可视化，计算机援助设计建模，地理信息系统，分子。。。使用CGAL网页的项目。这个计算的几何算法库（CGAL），提供数据结构。。。

• LMI工具箱

• 引用的第1419条[sw06383]
• 系统辨识与结构控制工程设计. LMI控件工具箱实现状态。。。注意LMI的复杂性计算比解决。。。方程式。例如，一千个问题设计变量通常需要一个多小时。。。

• COBOL公司

• 在233篇文章中引用[sw01228]
• 编译英语类计算机程序设计语言设计用于商业用途。这是必要的，程序性的。。。用于部署在大型机上的遗留应用程序计算机如大规模批量交易。。。

• CutFEM公司

• 参考文献121篇[sw15034]
• 网格。这些方法是设计促进计算... 例如，从计算机-援助设计或者来自应用科学的图像数据。。。

• 鲮鱼

• 引用156篇文章[sw04715]
• 鲮鱼，设计分析电脑类实验，是一个Matlab工具箱，用于处理克里格。。。代理计算机模型。该软件还解决了设计实验问题，那个。。。

• PETSc公司

• 参考1148篇文章[sw04012]
• 图书馆。尤其是对于那些没有计算机科学背景，经验编程。。。然而，PETSc的力量设计它所包含的算法可能会。。。

• 自记

• 参考文献133篇[sw06137]
• 自动记录（AGX）是一种计算机系统设计帮助图论研究者。主要。。。

• 损益表

• 在174篇文章中引用[sw25845]
• 程序性，强制性计算机程序设计语言设计用于科学、工程、商业和系统编程。。。

• 线性代数库

• 在404篇文章中引用[sw00830]
• 分布式内存消息传递MIMD的例程计算机以及支持并行虚拟化的工作站网络。。。设计并为工作站、矢量超级计算机和共享内存并行开发了类似的软件计算机. 两者。。。

• 高斯

• 引用116篇文章[sw00322]
• 统计学家、生物学家、计量经济学家和金融分析师。设计对于计算上密集任务，高斯系统。。。

• 顺流

• 引用189篇文章[sw04254]
• 高性能组合计算的技术。FEATFLOW是设计以下三个班。。。

• 小话

• 引用189篇文章[sw01561]
• 计算以“人类-计算机共生。”是的设计部分是为了教育。。。

• 发电机

• 引用250篇文章[sw01227]
• 其他人[8]在麻省理工学院。计算中心。[9]最早的版本是用汇编编写的。。。增长[1]最初设计用于大型机上的批处理计算机，它被提供。。。