-
LEDA
- Referenced in 264 articles
[sw00509]
- In the core computer science areas -- data structures...
-
LSQR
- Referenced in 410 articles
[sw00530]
- Algorithm 583: LSQR: Sparse Linear Equations and Least...
-
Maple
- Referenced in 5403 articles
[sw00545]
- The result of over 30 years of cutting...
-
MapReduce
- Referenced in 267 articles
[sw00546]
- MapReduce is a new parallel programming model initially...
-
MATCONT
- Referenced in 455 articles
[sw00551]
- MATCONT: Matlab software for bifurcation study of dynamical...
-
Mathematica
- Referenced in 6445 articles
[sw00554]
- Almost any workflow involves computing results, and that...
-
Matlab
- Referenced in 13702 articles
[sw00558]
- MATLAB® is a high-level language and interactive...
-
MiniSat
- Referenced in 584 articles
[sw00577]
- An extensible SAT-solver. MiniSat is a minimalistic...
-
NEWUOA
- Referenced in 104 articles
[sw00618]
- NEWUOA is a software developped by M.J.D. Powell...
-
PHCpack
- Referenced in 236 articles
[sw00705]
- Algorithm 795: PHCpack: A general-purpose solver for...
-
QOCA
- Referenced in 30 articles
[sw00756]
- We describe an object-oriented constraint solving toolkit...
-
R
- Referenced in 10196 articles
[sw00771]
- R is a language and environment for statistical...
-
Scilab
- Referenced in 175 articles
[sw00834]
- Scilab includes hundreds of mathematical functions. It has...
-
Sostools
- Referenced in 293 articles
[sw00891]
- We are pleased to introduce SOSTOOLS, a free...
-
TSPLIB
- Referenced in 711 articles
[sw00983]
- TSPLIB is a library of sample instances for...
-
UMFPACK
- Referenced in 421 articles
[sw00989]
- An ANSI C code for sparse LU factorization...
-
Zchaff2004
- Referenced in 21 articles
[sw01032]
- The Boolean Satisfiability Problem (SAT) is a well...
-
AUTO
- Referenced in 958 articles
[sw01059]
- AUTO is a software for continuation and bifurcation...
-
SCIP
- Referenced in 554 articles
[sw01091]
- SCIP is currently one of the fastest non...