
HyTech
 Referenced in 333 articles
[sw04125]
 HyTech is an automatic tool for the analysis...

TPTP
 Referenced in 401 articles
[sw04143]
 The TPTP (Thousands of Problems for Theorem Provers...

KernSmooth
 Referenced in 1018 articles
[sw04586]
 Kernel smoothing refers to a general methodology for...

UG
 Referenced in 191 articles
[sw04596]
 UG  a flexible software toolbox for solving partial...

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

mctoolbox
 Referenced in 1521 articles
[sw04827]
 The Matrix Computation Toolbox is a collection of...

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

GAMS
 Referenced in 881 articles
[sw04978]
 The General Algebraic Modeling System (GAMS) is specifically...

MersenneTwister
 Referenced in 361 articles
[sw05367]
 Mersenne twister: A 623dimensionally equidistributed uniform pseudo...

HOL
 Referenced in 594 articles
[sw05492]
 Higher Order Logic (HOL) is a programming environment...

Stata
 Referenced in 845 articles
[sw06029]
 Stata is a complete, integrated statistical package that...

SciPy
 Referenced in 791 articles
[sw06293]
 SciPy (pronounced ”Sigh Pie”) is opensource software...

SAS
 Referenced in 1580 articles
[sw06377]
 SAS (Statistical Analysis System) is an integrated system...

MPI
 Referenced in 522 articles
[sw06496]
 Automatic differentiation through the use of hyperdual...

SATCHMOREBID
 Referenced in 7 articles
[sw06623]
 SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy SATCHMORE was...

OEIS
 Referenced in 4285 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

Pegasos
 Referenced in 106 articles
[sw08752]
 Pegasos: primal estimated subgradient solver for SVM...

WASP
 Referenced in 56 articles
[sw09565]
 WASP: a native ASP solver based on constraint...

KIV
 Referenced in 53 articles
[sw10060]
 Karlsruhe Interactive Verifier (KIV). KIV is an interactive...

ppALIGN
 Referenced in 1 article
[sw10264]
 Computing posterior probabilities for scorebased alignments using...