• 路易

  • 10篇参考文献[SW19627 ]
  • 自动化的定理证明器的接口对于有效地使用(交互)是必不可少的。证明系统证明图,具有超文本设备的选择性术语浏览器,证明证明 计划演示
  • MPTP

  • 22篇参考文献[SW02489]
  • 适合于非类型的一阶格式适用于自动化的定理证明和生成定理证明…版本从完整生成约30000个问题校样关于Miar定理和大约630000个问题……系统,它们的解决方案,当前的局限性,以及计划未来的扩展。我们目前的结果,第一次实验…
  • 构造体

  • 9篇参考文献[SW28 905]
  • 表示和超文本链接;以及自动化实质部分校样通过改写、归纳、案例分析…程序。该系统的进一步发展是计划作为整体框架的一部分,旨在…
  • Gap

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

  • 11158篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 超小卫星

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

  • 53篇参考文献[SW0622]
  • NITPICK是伊莎贝尔/霍尔的反例发生器。
  • 塞西奥

  • 119篇参考文献[SW0707]
  • SESEO:一个高性能的定理证明器。论文…
  • TPS

  • 70篇参考文献[SW0933]
  • TPS和ETPS分别是定理证明…