• 枣灰蝶属

  • 143篇参考文献[SW0961]
  • 软件系统枣灰蝶属提供了统一的逻辑和软件技术框架来证明、解决…在数学的各个领域简化公式。枣灰蝶属是在研究所开发的…
  • 可可

  • 595篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • 辅酶Q

  • 1739篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 格菲

  • 126篇参考文献[SW034 4]
  • GFALSE软件包提供了确定和…的工具。
  • 岩浆

  • 2672篇参考文献[SW0540]
  • 计算机代数系统(CAS)。岩浆是巨大的…
  • TPTP

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