Results 21 to 40 of 44
Sort by:

  • 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...