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

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

Sostools
 Referenced in 273 articles
[sw00891]
 We are pleased to introduce SOSTOOLS, a free...

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

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

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

SIMANN
 Referenced in 12 articles
[sw02517]
 Simulated annealing is a global optimization method that...

MINITAB
 Referenced in 201 articles
[sw02865]
 Analyze your data and improve your products and...

SPLUS
 Referenced in 600 articles
[sw02892]
 SPLUS is a powerful environment for statistical...

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

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

Pajek
 Referenced in 136 articles
[sw03707]
 Pajek  analysis and visualization of large networks. Pajek...

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

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

TAUCS
 Referenced in 31 articles
[sw04014]
 TAUCS: a library of sparse linear solvers. The...

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

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

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

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