• 莱达

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

  • 在2917篇文章中引用[sw00540]
  • 计算机代数系统(CAS)。岩浆是一个大的。。。
  • 数学软件

  • 引用5957篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 巴黎/GP

  • 引用595篇文章[sw00680]
  • PARI/GP是一种应用广泛的计算机代数系统...
  • R

  • 引用8601篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • 圣哲

  • 在1675篇文章中引用[sw00825]
  • Sage(SageMath)是免费的,开源的数学软件。。。
  • 潜力

  • 引用2篇文章[sw02702]
  • 潜力:高度适应性的并行核心数据库...
  • 土工1.1

  • 引用31篇文章[sw02842]
  • GEOTHER(几何定理证明器),Epsilon的一个模块。。。
  • UCI毫升

  • 引用3100篇文章[sw04074]
  • 加州大学欧文机器学习知识库。我们目前维持。。。
  • TPTP

  • 引用378篇文章[sw04143]
  • TPTP(成千上万的定理证明问题。。。
  • 克兰

  • 引用473篇文章[sw04351]
  • R是“GNU S”,一种免费提供的语言。。。
  • 林多

  • 引用了539篇文章[sw04448]
  • 林多系统-优化软件:整数规划,线性规划。。。