• JBool工具

  • 引用100篇文章[sw06185]
  • 算法与应用,Y.Crama和P.L。锤子(编辑)(2011)附录。。。
  • 霍利汉

  • 引用了20篇文章[sw11553]
  • 锤子:HOL Light的在线ATP服务。霍尔(y)锤子是一种在线AI/ATP服务。。。
  • 主持人

  • 引用23条[sw20217]
  • 主持人:MCMC锤子. 我们介绍了一个稳定的,经过良好测试的仿射Python实现。。。
  • COQ锤

  • 参考12篇文章[sw29396]
  • CoqHammer是一种通用的自动推理铁锤Coq工具。它结合了学习。。。证明目标。a的优点铁锤它是一个通用系统。。。需要用户配置。这个铁锤插件可以使用所有当前可访问的引理,包括。。。
  • FORTRAN-XSC语言

  • 引用8篇文章[sw00306]
  • 取决于代码优化和矢量化。[右。锤子,iMac Am。计算机。申请。数学。。。
  • 触觉

  • 引用3篇文章[sw28627]
  • 正式证明助理的重要组成部分。这样的”铁锤“技术-niques补充了传统的证据辅助自动化。。。结合优化的小规模锤击接近。我们把这项技术作为一种策略。。。以前的战术水平证明。不像现有的铁锤方法,避免翻译成FOL,工作。。。秒,而最好的单HOL(y)锤子同样的策略可以解决32%的问题。。。
  • 校对

  • 引用3篇文章[sw28654]
  • 大型ITP图书馆,旨在改善铁锤-通过更智能的内部指导实现风格自动化。。。
  • 锤子

  • 1条引用[sw27958]
  • 火花:对性能的影响锤子开放数据语料库的查询引擎。这个锤子... 锤子查询引擎;我们讨论各种实现。。。
  • 雷神

  • 1条引用[sw14146]
  • 雷神锤子:高阶递归方案是布尔程序的高阶模拟;它们。。。
  • 宇宙锤

  • 1条引用[sw21685]
  • 宇宙锤:用MCMC估计宇宙参数锤子. 我们研究的好处和限制。。。
  • ACL2

  • 引用274篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 吸血鬼

  • 在229篇文章中引用[sw02918]
  • 吸血鬼8.0,[RV02,Vor05]是一个自动定理。。。
  • UCI毫升

  • 引用2918篇文章[sw04074]
  • 加州大学欧文机器学习知识库。我们目前维持。。。
  • TPTP

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