
BARON
 Referenced in 251 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

CoCoA
 Referenced in 543 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

CSDP
 Referenced in 173 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

GAP
 Referenced in 2243 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Macaulay2
 Referenced in 1214 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 2143 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

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

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

nauty
 Referenced in 457 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

QAPLIB
 Referenced in 198 articles
[sw00751]
 A collection of electronically available data instances for...

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

SageMath
 Referenced in 1102 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

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

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

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

PERL
 Referenced in 160 articles
[sw01225]
 Programming Perl. Perl is a language for easily...

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

LBFGS
 Referenced in 572 articles
[sw03229]
 Algorithm 778: LBFGSB Fortran subroutines for...

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

SDPA
 Referenced in 148 articles
[sw03275]
 SDPA (SemiDefinite Programming Algorithm)” is one of the...