• QEPCAD公司

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

• 圆柱代数分解

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

• SymProve3公司

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

• CGSQE公司

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

• ANSYS软件

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

• CGAL公司

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

• 可可

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

• 可可碱

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

• 可口可乐

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

• 差异包

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

• FGb公司

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

• 绿色荧光粉

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

• Gmsh公司

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

• 炒作

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

• 拉帕克

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

• 莱达

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

• 麦考拉2

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

• 枫木

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

• 数学软件

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

• Matlab语言

• 引用12721篇文章[sw00558]
• MATLAB®是一种高级语言和交互式。。。