• 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, open-source math software...

• FastICA

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

• OEIS

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

• Algorithm 862

• Referenced in 84 articles [sw07347]
• Algorithm 862: MATLAB tensor classes for fast algorithm...

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