• JBool

  • Referenced in 123 articles [sw06185]
  • Algorithms and Applications, Y. Crama and P.L. Hammer (Ed.) (2011) Appendix...
  • emcee

  • Referenced in 57 articles [sw20217]
  • emcee: The MCMC Hammer. We introduce a stable, well tested Python implementation of the affine...
  • HOLyHammer

  • Referenced in 26 articles [sw11553]
  • Hammer: online ATP service for HOL Light. HOL(y)Hammer is an online AI/ATP service...
  • CoqHammer

  • Referenced in 17 articles [sw29396]
  • CoqHammer is a general-purpose automated reasoning hammer tool for Coq. It combines learning from ... prove the goal. The advantage of a hammer is that it is a general system ... requiring configuration by the user. The hammer plugin may use all currently accessible lemmas, including...
  • TacticToe

  • Referenced in 6 articles [sw28627]
  • important component of formal proof assistants. Such ”hammer” tech- niques complement traditional proof assistant automation ... bined with an optimized small-scale hammering approach. We implement the technique as a tactic ... previous tactic-level proofs. Unlike the existing hammer methods, TacticToe avoids translation to FOL, working ... seconds whereas the best single HOL(y)Hammer strategy solves 32 percent in the same...
  • FORTRAN-XSC

  • Referenced in 8 articles [sw00306]
  • depending on code optimization and vectorization. [R. Hammer, IMACS Am. Comput. Appl. Math...
  • Proofwatch

  • Referenced in 4 articles [sw28654]
  • large ITP libraries, aiming at improving hammer-style automation by smarter internal guidance...
  • CosmoHammer

  • Referenced in 3 articles [sw21685]
  • CosmoHammer: Cosmological parameter estimation with the MCMC Hammer. We study the benefits and limits...
  • HAMMER

  • Referenced in 1 article [sw34071]
  • HAMMER: Consistent new physics interpretations of semileptonic decays. Precise measurements of b→cτν¯ decays require ... ratios can be biased. The newly developed HAMMER software tool enables efficient reweighting ... hadronic matrix elements. We demonstrate how HAMMER allows avoidance of biases through self-consistent fits ... interpretations of SM-based measurements. The HAMMER library is presently interfaced with several existing experimental...
  • RooHammerModel

  • Referenced in 1 article [sw34069]
  • RooHammerModel: interfacing the HAMMER software tool with the HistFactory package. Recent B-physics results have ... samples, led to the development of HAMMER, a software tool which enables to perform ... information for alternative future attempts to interface HAMMER with other data-fitting frameworks...
  • ppsim

  • Referenced in 2 articles [sw38637]
  • null) reaction. In a recent breakthrough, Berenbrink, Hammer, Kaaser, Meyer, Penschuck, and Tran...
  • THORS

  • Referenced in 1 article [sw14146]
  • THORS Hammer: Higher-order recursion schemes are a higher-order analogue of Boolean Programs; they...
  • Hammer

  • Referenced in 0 articles [sw27958]
  • Spark: impact on performance of the Hammer query engine for open data corpora. The Hammer ... most famous frameworks to parallelize the Hammer query engine; we discuss various implementations...
  • ACL2

  • Referenced in 291 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Maple

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • PDECOL

  • Referenced in 47 articles [sw00690]
  • Algorithm 540 PDECOL, general collocation software for partial...
  • MizarMode

  • Referenced in 18 articles [sw01973]
  • MizarMode -- an integrated proof assistance tool for the...