• BBCPOP公司

• 引用3篇文章[sw31757]
• 一类的松弛多项式的 优化（最小化）问题（POP）与二进制，盒和互补。。。松弛阶，BBCPOP构造一个简单的圆锥曲线优化问题（COP），服务于。。。的下限最优的a值大的-规模在班上说。。。

• 阿多-C

• 在233篇文章中引用[sw00019]
• ADOL-C:C/C++的自动微分。我们呈现。。。

• ANSYS软件

• 引用655篇文章[sw00044]
• ANSYS提供了一个全面的软件套件，跨越。。。

• 阿特拉斯

• 引用了197篇文章[sw00056]
• 本文描述了自动调谐线性代数。。。

• 轰炸机

• 引用158篇文章[sw00086]
• 一个并行代数多重网格解算器与预处理器。。。

• CGAL公司

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

• 可可

• 参考文献621篇[sw00143]
• CoCoA是一个交换计算系统。。。

• 可口可乐

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

• CSDP公司

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

• DEA公司

• 在242篇文章中引用[sw00194]
• 数据包络分析（DEA）正日益成为一种。。。

• 差异包

• 引用113篇文章[sw00203]
• 随着现代编程方法学从计算机科学迁移。。。

• 高铁

• 引用268篇文章[sw00418]
• HSL（以前的哈韦尔子程序库）是一个。。。

• 炒作

• 在262篇文章中引用[sw00426]
• hypre是一个解决方案的软件库。。。

• ISOGAT公司

• 引用281篇文章[sw00457]
• 一个教程二维MATLAB代码求解椭圆。。。

• 克尼特罗

• 在174篇文章中引用[sw00490]
• KNITRO是一个非线性的求解器优化. 它。。。

• 兰斯洛特

• 在296篇文章中引用[sw00500]
• 兰斯洛特。的Fortran包大的-规模非线性。。。

• 拉帕克

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

• LSQR

• 引用了357篇文章[sw00530]
• 算法583:LSQR:稀疏线性方程组和最小。。。

• 麦考拉2

• 引用1658篇文章[sw00537]
• Macaulay2是一个致力于支持。。。

• 材料控制

• 引用文献362篇[sw00551]
• MATCONT:动态系统分岔研究之Matlab软体。。。