• 数学软件

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

  • 在502篇文章中引用[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • MPTP 0.2

  • 引用了43篇文章[sw02589]
  • mptp0.2:设计、实现和初步实验。这个。。。
  • 水獭

  • 在310篇文章中引用[sw02904]
  • 我们目前的自动扣除系统Otter是设计。。。
  • 吸血鬼

  • 引用232篇文章[sw02918]
  • 吸血鬼8.0,[RV02,Vor05]是一个自动定理。。。
  • PVS公司

  • 在602篇文章中引用[sw03484]
  • PVS是一个验证系统:也就是说,一个。。。
  • TPTP

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