
Coq
 Referenced in 1502 articles
[sw00161]
 Coq is a formal proof management system. It...

Matlab
 Referenced in 10365 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

PARAMESH
 Referenced in 84 articles
[sw00677]
 In this paper we describe a community toolkit...

R
 Referenced in 6475 articles
[sw00771]
 R is a language and environment for statistical...

VODE
 Referenced in 184 articles
[sw01005]
 VODE: A variablecoefficient ODE solver. This paper...

FLIRT
 Referenced in 16 articles
[sw02671]
 FLIRT (FMRIB’s Linear Image Registration Tool) is...

DTCWT
 Referenced in 86 articles
[sw02857]
 Research on pixellevel image fusion algorithm based...

FAME
 Referenced in 10 articles
[sw03344]
 FAMEa flexible appearance modeling environment. Combined modeling...

deal.ii
 Referenced in 346 articles
[sw03516]
 deal.II is a C++ program library targeted at...

UCIml
 Referenced in 2609 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

FFTW
 Referenced in 404 articles
[sw04126]
 FFTW is a C subroutine library for computing...

Qhull
 Referenced in 249 articles
[sw04419]
 The convex hull of a point set P...

ASA
 Referenced in 68 articles
[sw04736]
 Adaptive Simulated Annealing (ASA) is a Clanguage...

UNCMND
 Referenced in 88 articles
[sw05265]
 NCMND minimizes a smooth nonlinear function of n...

HLLE
 Referenced in 467 articles
[sw06605]
 The HLLE[3] (Harten, Lax, van Leer and...

HEE1GODF
 Referenced in 616 articles
[sw06606]
 Riemann solver to solve the timedependent one...

GMRFLib
 Referenced in 222 articles
[sw06641]
 Gaussian Markov random fields. Theory and applications. Researchers...

MKL
 Referenced in 96 articles
[sw06975]
 Intel® Math Kernel Library (Intel® MKL) 11.0 includes...

Yale Face
 Referenced in 116 articles
[sw08767]
 The Yale Face Database (size 6.4MB) contains...