
Coq
 Referenced in 1898 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 3190 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Beluga
 Referenced in 26 articles
[sw01321]
 Our main interest in this project is to...

SPSS
 Referenced in 676 articles
[sw04269]
 SPSS is a computer program used for survey...

SAS
 Referenced in 1579 articles
[sw06377]
 SAS (Statistical Analysis System) is an integrated system...

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

Twelf
 Referenced in 173 articles
[sw06888]
 Twelf is a language used to specify, implement...

Abella
 Referenced in 52 articles
[sw09461]
 The Abella Interactive Theorem Prover (System Description). Abella...

PoplMark
 Referenced in 63 articles
[sw10109]
 The POPLmark Challenge is a concrete set of...

LNgen
 Referenced in 7 articles
[sw10111]
 LNgen: Tool Support for Locally Nameless Representations. Given...

BMDP
 Referenced in 123 articles
[sw10524]
 BMDP is a statistical package developed in 1965...

recog
 Referenced in 11 articles
[sw11138]
 GAP package recog: A collection of group recognition...

GitHub
 Referenced in 2762 articles
[sw23170]
 GitHub (originally known as Logical Awesome LLC)[3...

manYPoints
 Referenced in 46 articles
[sw35141]
 manYPoints  Table of Curves with Many Points. manYPoints...

GossipMap
 Referenced in 2 articles
[sw41758]
 GossipMap: a distributed community detection algorithm for billion...