
CUDA
 Referenced in 1336 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...

MPFR
 Referenced in 232 articles
[sw03312]
 The MPFR library is a C library for...

SPIN
 Referenced in 727 articles
[sw03455]
 Spin is a popular opensource software tool...

PVS
 Referenced in 634 articles
[sw03484]
 PVS is a verification system: that is, a...

Haskell
 Referenced in 885 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

PETSc
 Referenced in 1594 articles
[sw04012]
 The Portable, Extensible Toolkit for Scientiﬁc Computation (PETSc...

JDQR
 Referenced in 513 articles
[sw04021]
 From this page you can get a Matlab...

CPLEX
 Referenced in 2804 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

RODAS
 Referenced in 1757 articles
[sw04112]
 Rosenbrock method of order 4(3), for problems...

NuSMV
 Referenced in 314 articles
[sw04131]
 NuSMV is a symbolic model checker developed as...

ARPACK
 Referenced in 848 articles
[sw04218]
 ARPACK is a collection of Fortran77 subroutines designed...

FEniCS
 Referenced in 856 articles
[sw04314]
 The FEniCS Project is a collaborative project for...

Uppaal
 Referenced in 658 articles
[sw04702]
 Uppaal is an integrated tool environment for modeling...

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

Ipopt
 Referenced in 787 articles
[sw04808]
 Ipopt (Interior Point OPTimizer, pronounced eyepeaOpt...

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

DLMF
 Referenced in 2889 articles
[sw04968]
 NIST digital library of mathematical functions. The National...

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

ALCON
 Referenced in 37 articles
[sw05315]
 Efficient Numerical Pathfollowing Beyond Critical Points The paper...

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