• JBool公司

  • 引用110篇文章[sw06185]
  • 算法与应用,Y.Crama和P.L。锤子(2011年版)。。。
  • 主持人

  • 在34篇文章中引用【sw20217】
  • 主持人:MCMC锤子. 我们介绍了一个稳定的,经过良好测试的仿射Python实现。。。
  • 霍利汉

  • 参考22篇文章[sw11553]
  • 锤子:HOL Light的在线ATP服务。霍尔(y)锤子是一种在线AI/ATP服务。。。
  • COQ锤

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

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

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

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

  • 1条引用[sw34071]
  • 锤子:对半轻子衰变的一致的新物理解释。b的精确测量cτν′衰变需要。。。比率可能会有偏差。新开发的锤子软件工具使有效的重新称重。。。强子矩阵元素。我们演示如何锤子允许通过自洽配合避免偏差。。。基于SM的测量的解释。这个锤子图书馆目前与几个现有的实验。。。
  • Roohammer模型

  • 1条引用[sw34069]
  • RooHammerModel:接口锤子HistFactory软件包的软件工具。最近的物理学结果。。。样品,导致了锤子,一个可以执行。。。有关未来其他接口尝试的信息锤子与其他数据拟合框架。。。
  • 雷神

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

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

  • 1条引用[SW637号文件]
  • 空)反应。在最近的一次突破中,贝伦布林,锤子Kaaser,Meyer,Penschuck和Tran。。。
  • 锤子

  • 在0篇文章中引用[sw27958]
  • 火花:对性能的影响锤子开放数据语料库的查询引擎。这个锤子... 锤子查询引擎;我们讨论各种实现。。。
  • ACL2

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