• Coq

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

  • Referenced in 602 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • Mathematica

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

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

  • Referenced in 716 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • TetGen

  • Referenced in 158 articles [sw04046]
  • TetGen, a Delaunay-Based Quality Tetrahedral Mesh Generator...
  • UCI-ml

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

  • Referenced in 539 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • mctoolbox

  • Referenced in 1423 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...
  • LIBSVM

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

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

  • Referenced in 126 articles [sw07201]
  • Lisp (historically, LISP) is a family of computer...
  • BayesDA

  • Referenced in 1137 articles [sw11008]
  • BayesDA: Functions and Datasets for the book ”Bayesian...
  • C4.5

  • Referenced in 1127 articles [sw12176]
  • C4.5: programs for machine learning. (C4.5 has been...
  • EMD

  • Referenced in 215 articles [sw14902]
  • Code for the Earth Movers Distance (EMD). This...
  • bootstrap

  • Referenced in 1067 articles [sw19105]
  • R package bootstrap. bootstrap: Functions for the Book...