• Coq

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

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

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

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

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

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

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

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

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

  • Referenced in 639 articles [sw04269]
  • SPSS is a computer program used for survey...
  • WinBUGS

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

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

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

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

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

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

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

  • Referenced in 398 articles [sw08058]
  • Scikit-learn: machine learning in python. Scikit-learn...