• 根索芬

• 引用9篇文章[sw08761]
• 聚类技术被称为离散的 增量 聚类（DIC）。给出了GenSoFNN的模糊规则库。。。

• CGAL公司

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

• 可口可乐

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

• 差距

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

• 克尼特罗

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

• 拉帕克

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

• 莱达

• 引用261篇文章[sw00509]
• 在计算机科学的核心领域——数据结构。。。

• 枫木

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

• 地图还原

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

• 数学软件

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

• Matlab语言

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

• 超小卫星

• 引用文献534篇[sw00577号]
• 可扩展的SAT解算器。MiniSat是一个极简主义者。。。

• PHC包装

• 引用215篇[sw00705]
• 算法795:PHCpack:一个通用解算器。。。

• R

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

• 正规化工具

• 在684篇文章中引用[sw00797]
• 正则化工具：一个用于分析和。。。

• 线性代数库

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

• 科学实验室

• 引用167篇文章[sw00834]
• Scilab包含数百个数学函数。它有。。。

• 条纹包

• 引用了29篇文章[sw00921]
• 算法772:STRIPACK:Delaunay三角剖分和Voronoi图。。。

• TSPLIB公司

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

• UMF包

• 引用369篇文章[sw00989号]
• 用于稀疏LU分解的ANSI C代码。。。