• 差距

  • 引用了3067篇文章[sw00320]
  • 概述和数学描述能力. GAP用于研究和教学。。。
  • DLMF

  • 引用2577篇文章[sw04968]
  • 交互式图形和方程式搜索能力. 正在使用的信息技术工具。。。
  • ARPACK

  • 引用814篇文章[sw04218]
  • 需要向量。ARPACK软件是能干的解决大规模对称,非对称,广义。。。
  • CVX公司

  • 引用778篇文章[sw04594]
  • MIDCPs)以及一个适当的整数-能干的解算器。。。
  • 减少

  • 引用743篇文章[sw00789]
  • 有许多贡献者参与的协作工作。能力包括:多项式和有理数的展开和排序。。。
  • 麦克西马

  • 引用718篇文章[sw01209]
  • 提供:符号和数字操作及解决方案能力在代数,微积分和数值分析。。。
  • Gmsh公司

  • 引用672篇文章[sw00366]
  • 具有参数输入和高级可视化功能的工具能力. Gmsh是围绕四个模块构建的:几何。。。
  • 可可

  • 引用649篇文章[sw00143]
  • 函数,多项式的因式分解,复曲面理想。这个能力可可和柔韧性。。。
  • PVS公司

  • 参考文献626篇[sw03484]
  • 随着我们开发或应用新的能力作为现实的压力。。。
  • S-加

  • 引用607篇文章[sw02892]
  • 具有良好图形和计算能力的工作站能力...
  • MPI公司

  • 引用508篇文章[sw06496]
  • 数字的一部分。这些方法是能干的有效地产生精确的导数值。然而。。。
  • 抱怨

  • 引用421篇文章[sw00610]
  • 超级计算机,NAG库有能力适合你的模特。NAG图书馆。。。
  • TPTP

  • 引用383篇文章[sw04143]
  • 帮助确保绩效结果准确反映能力正在考虑的ATP系统。。。
  • XPath

  • 引用374篇文章[sw15780]
  • [XPath 1.0]的超集,添加能力支持更丰富的数据集。。。
  • Mplus公司

  • 引用339篇文章[sw06511]
  • 变量类型。此外,Mplus还具有广泛的能力在蒙特卡罗模拟研究中,数据。。。
  • 阿多-C

  • 引用245篇[sw00019]
  • C++中的工具。随后,我们描述能力广告工具ADOL-C说。。。