• Coq

  • Referenced in 1764 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Maple

  • Referenced in 5014 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5823 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11885 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 7990 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

  • Referenced in 1582 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SINGULAR

  • Referenced in 1357 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • SPIN

  • Referenced in 708 articles [sw03455]
  • Spin is a popular open-source software tool...
  • UCI-ml

  • Referenced in 3018 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • WinBUGS

  • Referenced in 674 articles [sw04492]
  • WinBUGS is part of the BUGS project, which...
  • Rfam

  • Referenced in 32 articles [sw04637]
  • The Rfam database is a collection of RNA...
  • Genocop

  • Referenced in 1079 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • LIBSVM

  • Referenced in 1085 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...
  • PDCO

  • Referenced in 632 articles [sw05148]
  • PDCO: Primal-Dual interior method for Convex Objectives...
  • WEKA

  • Referenced in 284 articles [sw06435]
  • WEKA: Waikato Environment for Knowledge Analysis. WEKA is...
  • OEIS

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

  • Referenced in 37 articles [sw08915]
  • SOAP: short oligonucleotide alignment program. We have developed...