• ACL2

  • 引用282篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 拉帕克

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

  • 参考9109篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • 欧西里斯

  • 引用了29篇文章[sw02458]
  • 奥西里斯:一个三维的,完全相对论性的粒子。。。
  • MPTP 0.2

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

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

  • 参考文献626篇[sw03484]
  • PVS是一个验证系统:也就是说,一个。。。
  • TPTP

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