
gmp
 Referenced in 274 articles
[sw00363]
 GMP is a free library for arbitrary precision...

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

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

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

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

ScaLAPACK
 Referenced in 407 articles
[sw00830]
 ScaLAPACK is an acronym for scalable linear algebra...

ALBERTA
 Referenced in 172 articles
[sw01061]
 ALBERTA is an Adaptive multiLevel finite element toolbox...

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

SNOPT
 Referenced in 524 articles
[sw02300]
 SNOPT: An SQP algorithm for largescale constrained...

CONOPT
 Referenced in 165 articles
[sw02791]
 CONOPT is a generalized reducedgradient (GRG) algorithm...

ABACUS
 Referenced in 116 articles
[sw02948]
 ABACUS is a software system written in C...

SINTEF
 Referenced in 36 articles
[sw02984]
 SINTEF has developed software libraries as part of...

BLAS
 Referenced in 489 articles
[sw03216]
 Lowlevel utilities common to many mathematical software...

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

AMPL
 Referenced in 598 articles
[sw04001]
 AMPL is a comprehensive and powerful algebraic modeling...

SeDuMi
 Referenced in 1211 articles
[sw04002]
 SeDuMi is a Matlab toolbox for solving optimization...

SDPT3
 Referenced in 647 articles
[sw04009]
 This software is designed to solve conic programming...

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

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

lpSolve
 Referenced in 47 articles
[sw04106]
 lpSolve: Interface to Lp_solve v. 5.5 to...