• QEPCAD公司

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

• 圆柱代数分解

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

• SymProve3公司

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

• CGSQE公司

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

• ANSYS软件

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

• CGAL公司

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

• 可可

• 引用649篇文章[sw00143]
• CoCoA是一个交换计算系统。。。

• 可可碱

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

• 可口可乐

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

• 差异包

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

• FGb公司

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

• gfun公司

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

• Gmsh公司

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

• 炒作

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

• 伊莎贝尔

• 引用674篇文章[sw00454]
• 伊莎贝尔是一个普通的校对助理。它允许。。。

• 拉帕克

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

• 莱达

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

• 麦考拉2

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

• 枫木

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

• 数学软件

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