• Gap

  • 2586篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • 11篇参考文献[SW02443]
  • SCOOP是一个“协作媒体应用”。它落下了…
  • PSATO

  • 40篇参考文献[SW02635]
  • PSATO:命题可满足性的分布式并行证明器(SAT.)
  • 水獭

  • 312篇参考文献[SW02904]
  • 我们目前的自动扣除系统水獭设计…
  • 箴言9

  • 166篇参考文献[SW0496]
  • PROVR9和MACE4:PROVR9是一个自动化的定理…
  • MACE4

  • 193篇参考文献[SW06905]
  • 有限模型查找器MACE4。MACE4是一个程序…