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