• TPTP

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

  • 引用287篇文章[sw04419]
  • 一个点集的凸壳是一个新的问题。。。
  • 验证9

  • 在174篇文章中引用[sw04969]
  • Prover9和Mace4:Prover9是一个自动定理。。。
  • 预熔丝

  • 参考7篇文章[sw10654]
  • Prefuse:交互式信息可视化工具集。尽管。。。
  • 流浪汉

  • 引用了20篇文章[sw21343]
  • 流浪汉:把机器发现的证据转换成自然的。。。
  • IDV公司

  • 参考7篇文章[sw21371]
  • 交互式派生查看器。这部作品描述了。。。