• Nuprl

  • Referenced in 394 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • OEIS

  • Referenced in 4187 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • NQTHM

  • Referenced in 151 articles [sw07543]
  • A computational logic handbook. This book is a...
  • GBNP

  • Referenced in 22 articles [sw07724]
  • GBNP, A GAP package for Gröbner bases of...
  • LCF

  • Referenced in 158 articles [sw08360]
  • Edinburgh LCF. A mechanized logic of computation. From...
  • CoLoR

  • Referenced in 38 articles [sw09806]
  • CoLoR: a Coq library on well-founded rewrite...
  • SPIKE

  • Referenced in 22 articles [sw10186]
  • SPIKE, an automatic theorem prover...
  • Flyspeck

  • Referenced in 121 articles [sw10277]
  • Communicating formal proofs: the case of flyspeck. We...
  • INVAR

  • Referenced in 7 articles [sw10662]
  • INVAR. A Maple package for invariant theory of...
  • Polyhedra

  • Referenced in 9 articles [sw12128]
  • Polyhedra: a package for computations with convex polyhedral...
  • ORME

  • Referenced in 5 articles [sw15064]
  • ORME is both a rewrite rule laboratory and...
  • Elf

  • Referenced in 44 articles [sw21361]
  • The Elf Meta-Language. Elf is a constraint...
  • A3PAT

  • Referenced in 8 articles [sw21587]
  • A3PAT, an approach for certified automated termination proofs...
  • olga.lib

  • Referenced in 7 articles [sw22197]
  • olga.lib: Ore localization in G-algebras: Constructive Arithmetics...
  • Equations

  • Referenced in 6 articles [sw28614]
  • Equations: a dependent pattern-matching compiler. We present...