• 德洛斯德尔

• 引用3篇文章[sw33546]
• DelosDLMS-集成的DELOS数字 图书馆 管理 系统. DelosDLMS是下一个。。。一代数字 图书馆（DL）管理 系统. 它是通过结合各种专门的DL功能来实现的。。。

• 开放式数据库

• 引用3篇文章[sw01725]
• 系统. OpenDLib是一个软件工具包，可用于创建数字的 图书馆...管理. OpenDLib由实现数字的 图书馆功能制作。。。储存和传播。如有必要系统可与其他服务扩展以满足。。。

• WebClipper公司

• 1条引用[sw01015]
• 建立个人/社区联系图书馆建筑系统，称为WebClipper，它使个人和社区。。。索引数据以形成虚拟数字的 图书馆. 使用WebClipper，用户可以收集链接。。。链接图书馆. 搜索时，他可以先搜索自己的链接图书馆去之前。。。建议的Web链接数据库管理技术允许系统要在不存档的情况下操作链接信息。。。

• 元数据编辑器

• 引用2篇文章[sw33687]
• 系统支持文章导向开发的所有必要步骤数字的 图书馆：集成。。。书目参考文献处理与链接，名称权威管理，包括出生-数字的材料，自动化元数据。。。数字的 图书馆在许多不同专业水平的人中。建筑a图书馆更多。。。架构和实现。概述系统架构和功能简要介绍。。。

• 俄罗斯国防部

• 引用5篇文章[sw01774]
• 文学数字化可用。俄罗斯人数字数学图书馆是这个全球企业的一部分。。。将启用对外部文件的读/写访问系统以及他们的数据（例如质量。。。此外，分布式工作流的组件管理将集成到工具中。这个。。。

• 可口可乐

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

• Maple全局优化工具箱

• 在149篇文章中引用[sw00358]
• 优化是寻找解决方案的科学。。。

• Gmsh公司

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

• 克尼特罗

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

• 拉帕克

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

• 枫木

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

• 数学软件

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

• Matlab语言

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

• R

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

• 圣哲

• 在1672篇文章中引用[sw00825]
• Sage（SageMath）是免费的，开源的数学软件。。。

• 枣灰蝶属

• 引用145篇文章[sw00961]
• 软件系统Theorema提供了一个统一的逻辑。。。

• TSPLIB公司

• 引用665篇文章[sw00983]
• TSPLIB是一个图书馆的示例实例。。。

• UMF包

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

• SCIP公司

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

• 毫升

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