• 肉冻

• 引用23条[sw04954]
• 加强固定点计算。而近似因为。。。

• 围裙

• 引用67篇文章[sw00045]
• 围裙：一个数字抽象领域的图书馆。。。

• 可口可乐

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

• CSDP公司

• 在198篇文章中引用[sw00169]
• CSDP，半定程序设计的C库。这个。。。

• PSPLIB公司

• 引用了253篇文章[sw00740]
• 项目调度问题库。我们呈现。。。

• QEAD公司

• 引用276篇文章[sw00752]
• QEPCAD B:一个半自动计算程序。。。

• 自动

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

• 毫升

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

• 克洛诺斯

• 引用263篇文章[sw01270]
• KRONOS是一个开发的工具，目的是。。。

• SDPA公司

• 引用172篇文章[sw03275]
• 半定规划算法（SDPA）是一种新的半定规划算法。。。

• 旋转

• 引用711篇文章[sw03455]
• Spin是一个流行的开源软件工具。。。

• PVS公司

• 参考文献616篇[sw03484]
• PVS是一个验证系统：也就是说，一个。。。

• 哈斯克尔

• 引用846篇文章[sw03521]
• Haskell是一个标准化的，通用的纯功能。。。

• 沉香

• 引用1180篇文章[sw04002]
• SeDuMi是一个求解优化问题的Matlab工具箱。。。

• SDPT3型

• 参考文献613篇[sw04009]
• 该软件是为解决圆锥曲线编程而设计的。。。

• MIPLIB公司

• 引用309篇文章[sw04067]
• 混合整数（线性）规划（mip）是一种。。。

• UCI毫升

• 引用3086篇文章[sw04074]
• 加州大学欧文机器学习知识库。我们目前维持。。。

• 自动-86

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

• 去溶

• 引用52篇文章[sw04499]
• R包分解：初始值的通用解算器。。。

• 乌帕阿尔

• 引用文献632篇[sw04702]
• Uppaal是一个用于建模的集成工具环境。。。