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

Macaulay2
 Referenced in 1958 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3363 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

R
 Referenced in 10196 articles
[sw00771]
 R is a language and environment for statistical...

SageMath
 Referenced in 2033 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

FastICA
 Referenced in 210 articles
[sw07225]
 The FastICA package is a free (GPL) MATLAB...

OEIS
 Referenced in 4285 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

AFMULT
 Referenced in 22 articles
[sw08201]
 Multiple factor analysis (AFMULT package). Multiple Factor Analysis...

Daisy
 Referenced in 37 articles
[sw08597]
 Daisy: Database for the Identification of Systems. We...

CMU PIE
 Referenced in 160 articles
[sw13798]
 The CMU Pose, Illumination, and Expression (PIE) database...

CENPARMI
 Referenced in 20 articles
[sw13804]
 CENPARMI members continually make training databases available to...

AR face
 Referenced in 189 articles
[sw13806]
 AR Face Database: 126 people (over 4,000...

KronFit
 Referenced in 48 articles
[sw20428]
 Kronecker graphs: an approach to modeling networks. How...