• QEPCAD

• 269篇参考文献[SW0722]
• 部分消除量词的实现圆柱形的 代数的 分解归功于Hoon Hong…

• SimPREE3

• 2篇参考文献[SW09242]
• 对称形式的程序代数的不等式决策证明了机械不等式证明。特殊对称形式的不等式分解降阶法。如果所有系数…用工具证明圆柱形的 代数的 分解，比如QECAD和BoTeMa…

• CGQE

• 1篇参考文献[SW2054]
• 量化变量，然后使用圆柱形的 代数的 分解基于Syrac的真实QE程序…

• ANSYS

• 618篇参考文献[ SW000 044 ]
• ANSYS提供了一个全面的软件套件，跨越…

• CGAL

• 320篇参考文献[SW0118]
• CGAL开源项目的目标…

• 辅酶Q

• 1721篇参考文献[SW0161]
• COQ是一种形式化的证明管理系统。IT

• 分包

• 110篇参考文献[SW0203]
• 随着现代编程方法从计算机科学迁移…

• 光纤光栅

• 227篇参考文献[SW0246]
• FGB/GB图书馆GB是一个程序（191 420行…

• 格菲

• 123篇参考文献[SW034 4]
• GFALSE软件包提供了确定和…的工具。

• 羟脯氨酸

• 235篇参考文献[SW0426]
• HYPRE是解决方案的软件库…

• 拉帕克

• 1552篇参考文献[SW0503]
• LAPACK是用FORTRAN 90编写的，并提供…

• 勒达

• 247篇参考文献[SW0509]
• 在核心的计算机科学领域——数据结构…

• 麦考莱2

• 1503篇参考文献[SW05337 ]
• MaCulay2是一个致力于支持…的软件系统。

• 枫树

• 4841篇参考文献[SW0545 ]
• 30年以上的切割结果。

• 数学软件

• 5559篇参考文献[SW05354]
• 几乎任何工作流都涉及计算结果，并且…

• MATLAB

• 11158篇参考文献[SW0568]
• Matlab®是一种高级语言和交互式…

• 梅蒂尔茨基

• 44篇参考文献[SW0533]
• 涉及函数Ln、EXP、Sin的许多不等式。

• 抱怨

• 359篇参考文献[SW0610]
• 由专家制作，用于多种品种…

• 帕迪索

• 234篇参考文献[SW0699]
• 包装PARDESO是一个线程安全，高…

• PLTMG

• 206篇参考文献[SW0717]
• PLTMG 11是一个解决椭圆问题的软件包。