• 普罗赫

  • 11篇参考文献[SW10191]
  • PRocH:证明 重建为HOL灯。PROCH是证明 重建进口工具…灯具校样由ATPS生产的最近开发的霍尔光和Flyspeck翻译…ATP格式的问题。PROCH组合了几个重建方法并行,但核心改进…ATP(TPTP)中的推理步骤校样,使用几种内部的HOL光推理方法…
  • 伊萨夫

  • 5篇参考文献[SW10106]
  • 外部证明器包括完整的证明 重建,其中所有必要的属性是在伊莎贝尔/ HOL内导出的…除了进口认证证明主要挑战是正式减少…
  • 辅料锤

  • 11篇参考文献[SW29 96]
  • 自动化系统和重建成功发现的校样. 一个典型的用途是证明…
  • 埃克斯特拉托

  • 1篇参考文献[SW32250]
  • EkStaskto一个工具重建德杜克蒂校样来自TSTP文件(扩展摘要)。证明助理经常…谁的校样可以翻译成各种证明助手:Coq,霍尔,瘦,马蒂塔……TSTP文件中的子问题重建完成校样在DeDukTi使用自动编译器能够…图书馆,我们能够重建证明对于他们中很大一部分…
  • 梅拉

  • 1篇参考文献[SW0968]
  • 与以前的方法相比,重建瓦尔德梅斯特校样Mella内部很健壮…
  • 云秒

  • 1篇参考文献[SW29 98]
  • 监控VM内部的代码。它积极重建监控动态变化的内核数据…内核数据结构。我们已经实施了证明使用VMSALL库的概念原型…
  • 可可

  • 585篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • 岩浆

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

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

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