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

MooNMD
 Referenced in 77 articles
[sw00592]
 The basis of mapped finite element methods are...

NEWUOA
 Referenced in 104 articles
[sw00618]
 NEWUOA is a software developped by M.J.D. Powell...

PARAMESH
 Referenced in 115 articles
[sw00677]
 PARAMESH: A parallel adaptive mesh refinement community toolkit...

PHCpack
 Referenced in 236 articles
[sw00705]
 Algorithm 795: PHCpack: A generalpurpose solver for...

QEPCAD
 Referenced in 285 articles
[sw00752]
 QEPCAD B: A program for computing with semi...

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

revolve
 Referenced in 82 articles
[sw00802]
 Algorithm 799: revolve. An implementation of checkpointing for...

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

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...

STRIPACK
 Referenced in 30 articles
[sw00921]
 Algorithm 772: STRIPACK: Delaunay triangulation and Voronoi diagram...

TRIPACK
 Referenced in 17 articles
[sw00978]
 Algorithm 751: TRIPACK: A constrained twodimensional Delaunay...

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...

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...

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