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

TetGen
 Referenced in 158 articles
[sw04046]
 TetGen, a DelaunayBased Quality Tetrahedral Mesh Generator...

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

LIBLINEAR
 Referenced in 135 articles
[sw04880]
 LIBLINEAR is an open source library for large...

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