• CGAL公司

• 引用360篇文章[sw00118]
• CGAL开源项目的目标。。。

• 可口可乐

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

• 差距

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

• 克尼特罗

• 引用178篇文章[sw00490]
• KNITRO是一个非线性优化求解器。它。。。

• 拉帕克

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

• 枫木

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

• 地图还原

• 引用了251篇文章[sw00546]
• MapReduce是一种新的并行编程模型。。。

• 数学软件

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

• Matlab语言

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

• R

• 参考文献8565篇[sw00771]
• 是一种统计语言和环境。。。

• TSPLIB公司

• 引用665篇文章[sw00983]
• TSPLIB是一个示例实例库。。。

• 自动

• 引用885篇文章[sw01059]
• AUTO是一个连续和分叉的软件。。。

• SCIP公司

• 引用471篇文章[sw01091]
• SCIP是目前最快的非。。。

• 麦克西马

• 引用716篇文章[sw01209]
• 符号是一种通用的图形符号。。。

• 毫升

• 引用516篇文章[sw01218]
• ML（'Meta Language'）是一个通用函数。。。

• 自由有限元++

• 参考文献1059篇[sw01436]
• FreeFem++是一种专用语言的实现。。。

• WordNet公司

• 引用392篇文章[sw01777]
• WordNet®是一个大型的英语词汇数据库。。。

• 卫星库

• 引用57篇文章[sw02107]
• SATLIB是一个基准问题的集合，求解器。。。

• 铁锹

• 引用87篇文章[sw02226]
• 本文提出了一种新的。。。

• RSPOP公司

• 参考6篇文章[sw02562]
• 基于集合的伪外积模糊规则。。。