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

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

SparseMatrix
 Referenced in 747 articles
[sw04629]
 The University of Florida Sparse Matrix Collection. We...

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

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

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: Kernelbased Machine Learning Lab...