• QEAD公司

• 引用273篇文章[sw00752]
• 量词部分消去的实现圆柱形的 代数的 分解因为洪勋。。。

• 圆柱代数分解

• 引用3篇文章[sw32798]
• 圆柱形的 代数的 分解在正规连锁店图书馆。圆柱形的 代数的 分解CAD是一种基本的工具。。。

• SymProve3公司

• 引用2篇文章[sw09242]
• 对称形式及其程序代数的不平等决定。机械不等式证明已经。。。一类特殊形式的对称不等式分解降阶法。如果所有系数。。。通过以下工具证明圆柱形的 代数的 分解比如QEPCAD和BOTTEMA。。。

• CGSQE公司

• 引用2篇文章[sw20574]
• 量化变量，然后使用圆柱形的 代数的 分解基于synqe的real程序。。。

• ANSYS软件

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

• CGAL公司

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

• 可可

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

• 可可碱

• 引用54篇文章[sw00144]
• CoCoALib:一个用于交换计算的C++库。。。

• 可口可乐

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

• 差异包

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

• FGb公司

• 在234篇文章中引用[sw00286]
• FGb/Gb libraryGb是一个程序（191420行。。。

• 绿色荧光粉

• 在129篇文章中引用[sw00344]
• gfun包提供了确定和。。。

• 炒作

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

• 拉帕克

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

• 莱达

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

• 麦考拉2

• 参考1579篇文章[sw00537]
• Macaulay2是一个致力于支持。。。

• 枫木

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

• 数学软件

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

• Matlab语言

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

• 梅塔尔斯基

• 引用49篇文章[sw00573]
• 许多涉及函数ln，exp，sin的不等式。。。