• Coq

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

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

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

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

  • Referenced in 1522 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • deal.ii

  • Referenced in 650 articles [sw03516]
  • deal.II is a C++ program library targeted at...
  • UCI-ml

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

  • Referenced in 18 articles [sw04081]
  • Gensim is a free Python framework designed to...
  • METIS

  • Referenced in 480 articles [sw04089]
  • METIS is a set of serial programs for...
  • CRAN

  • Referenced in 570 articles [sw04351]
  • R is ‘GNU S’, a freely available language...
  • alr3

  • Referenced in 296 articles [sw04474]
  • alr3: Data to accompany Applied Linear Regression 3rd...
  • svdpack

  • Referenced in 61 articles [sw04819]
  • SVDPACK comprises four numerical (iterative) methods for computing...
  • LIBSVM

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

  • Referenced in 464 articles [sw05543]
  • XPPAUT is software for the analysis and simulation...
  • WEKA

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

  • Referenced in 28 articles [sw07320]
  • tm: Text Mining Package. A framework for text...
  • topicmodels

  • Referenced in 20 articles [sw07324]
  • R package topicmodels: Topic models. Provides an interface...
  • Kernlab

  • Referenced in 106 articles [sw07926]
  • R package kernlab: Kernel-based Machine Learning Lab...