
LAPACK
 Referenced in 1626 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LEDA
 Referenced in 261 articles
[sw00509]
 In the core computer science areas  data structures...

LSQR
 Referenced in 358 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...

MATCONT
 Referenced in 363 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical...

Mathematica
 Referenced in 5883 articles
[sw00554]
 Almost any workflow involves computing results, and that...

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

mclust
 Referenced in 257 articles
[sw00563]
 R package mclust: Normal Mixture Modeling for Model...

MiniSat
 Referenced in 531 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

Nitpick
 Referenced in 61 articles
[sw00622]
 Nitpick is a counterexample generator for Isabelle/HOL that...

PARDISO
 Referenced in 269 articles
[sw00679]
 The package PARDISO is a threadsafe, high...

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

SINGULAR
 Referenced in 1373 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

SLEPc
 Referenced in 157 articles
[sw00875]
 SLEPc the Scalable Library for Eigenvalue Problem Computations...

SODAS
 Referenced in 65 articles
[sw00885]
 The author gives a short introduction to the...

TSPLIB
 Referenced in 661 articles
[sw00983]
 TSPLIB is a library of sample instances for...

AUTO
 Referenced in 877 articles
[sw01059]
 AUTO is a software for continuation and bifurcation...

SCIP
 Referenced in 459 articles
[sw01091]
 SCIP is currently one of the fastest non...

KRIPKE
 Referenced in 8 articles
[sw01162]
 The relevant logics E, R and N R...

ADINA
 Referenced in 128 articles
[sw01175]
 ADINA R&D, Inc. was founded in 1986...

PRISM
 Referenced in 406 articles
[sw01186]
 PRISM: Probabilistic symbolic model checker. In this paper...