• 佐藤

  • 194篇参考文献[ SW044 551 ]
  • 解决一百开拟群设计理论中的问题。我们还试验了佐藤…
  • 公理

  • 2篇参考文献[SW02217]
  • 有限元的构造与分析拟群半群及相关结构。
  • Gap

  • 2586篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • LGS

  • 15篇参考文献[SW0517]
  • 在本文中,我们提出了LGS -几何…
  • 超小卫星

  • 516篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • 诺蒂

  • 518篇参考文献[SW0611]
  • 图论程序NUTYY:NUTY是一个程序…
  • 水獭

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

  • 363篇参考文献[SW04143]
  • TPTP(成千上万的定理证明问题)
  • 箴言9

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

  • 193篇参考文献[SW06905]
  • 有限模型查找器MACE4。MACE4是一个程序…
  • 557篇参考文献[SW06916]
  • 箔条:设计一种高效的SAT求解器。布尔可满足性…