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

Automath
 Referenced in 410 articles
[sw07127]
 Automath is a language designed by N.G. the...

OEIS
 Referenced in 4187 articles
[sw07248]
 The OnLine 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 wellfounded 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 MetaLanguage. 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 Galgebras: Constructive Arithmetics...

MCMApproximations
 Referenced in 1 article
[sw27111]
 Macaulay2 package MCMApproximations  Maximal CohenMacaulay Approximations and...

IntegralClosure
 Referenced in 2 articles
[sw27522]
 Macaulay2 package IntegralClosure  routines for integral closure of...

Equations
 Referenced in 6 articles
[sw28614]
 Equations: a dependent patternmatching compiler. We present...