• 小费

  • 引用2篇文章【sw19204年】
  • 提供必要的工具,如引理 发现哪一个证明者的作者可以简单地导入他们的。。。
  • 马修说

  • 引用4篇文章[sw21355]
  • 他们倾向于指定发现作为定理,引理,推论等,同时将所有其他。。。
  • MPTP 0.2

  • 引用了45篇文章[sw02589]
  • 证明局部常数和证明局部引理翻译了一些米扎尔的证据。。。比MML作者和通用的发现在数学方面。。。
  • ACL2

  • 引用279篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 数学软件

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

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

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

  • 在1424篇文章中引用[sw00866]
  • 奇异是一个计算机代数系统(CAS)为。。。
  • 水獭

  • 在316篇文章中引用[sw02904]
  • 我们目前的自动扣除系统Otter是设计。。。
  • 旋转

  • 引用715篇文章[sw03455]
  • Spin是一个流行的开源软件工具。。。
  • CPLEX公司

  • 在2625篇文章中引用[sw04082]
  • 国际商用机器公司® 伊洛格® CPLEX公司® 提供C,C++,Java,.NET。。。