
complib
 Referenced in 34 articles
[sw00149]
 COMPlib: COnstraint matrixoptimization problem library–a collection...

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

Maple
 Referenced in 5369 articles
[sw00545]
 The result of over 30 years of cutting...

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

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

MPFI
 Referenced in 43 articles
[sw00597]
 Motivations for an arbitrary precision interval arithmetic and...

NetworkX
 Referenced in 161 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

Octave
 Referenced in 304 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

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

REDUCE
 Referenced in 746 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

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

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

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

MACSYMA
 Referenced in 720 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

Kronos
 Referenced in 273 articles
[sw01270]
 KRONOS is a tool developed with the aim...

veriSoft
 Referenced in 92 articles
[sw01489]
 VeriSoft automatically searches for coordination problems (deadlocks, etc...

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

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

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

Gurobi
 Referenced in 679 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming...