• 马赛

  • 4篇参考文献[ SW21355 ]
  • MATHsAiD:数学定理 发现工具在自动推理领域…他们对指定某物的偏好发现作为定理,引理,推论等,同时贬低所有其他…
  • MPTP 0.2

  • 43篇参考文献[SW02589]
  • 案件已经完成。关于每第五个非算术定理证明了在完全自主模式…比MML作者和通用发现在数学中…
  • TcCON.TXT

  • 4篇参考文献[SW30553]
  • 自动化的发现同余证明定理关于组合序列的部分和。许多组合…
  • EVT

  • 7篇参考文献[SW09805]
  • 本质上是古典证明助理,或定理-证明工具,要求用户干预…工具为自动证明提供了相当大的支持发现通过更高层次的战术定制…
  • XPI

  • 6篇参考文献[SW09430]
  • 模式和过程。运行时安全性定理确保在良好类型的系统中…一些例子,一些关于描述和发现Web服务…
  • 小贴士

  • 2篇参考文献[SW19204]
  • 维持一套归纳基准定理PROVER,它的主要…提供必要的工具,如引理发现哪些证明者可以简单地导入他们的…
  • 可可

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

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

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

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

  • 359篇参考文献[SW0610]
  • 由专家制作,用于多种品种…
  • 诺蒂

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