
Pellet
 Referenced in 93 articles
[sw07019]
 Pellet for advanced integration or analysis applications, Clark & Parsia LLC can help in a variety...

ISOGAT
 Referenced in 303 articles
[sw00457]
 A tutorial 2D MATLAB code for solving elliptic...

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

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

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

GLIM
 Referenced in 190 articles
[sw01126]
 GLIM  a system for interactive fitting of generalized...

ASSAT
 Referenced in 173 articles
[sw02524]
 ASSAT (Answer Sets by SAT solvers) is a...

CHARMS
 Referenced in 36 articles
[sw02957]
 Finite element solvers are a basic component of...

ELOTOS
 Referenced in 25 articles
[sw03017]
 Use of ELOTOS in adding formality to...

SCCP
 Referenced in 79 articles
[sw03318]
 Convergence of a noninterior continuation algorithm for...

deal.ii
 Referenced in 599 articles
[sw03516]
 deal.II is a C++ program library targeted at...

AS 194
 Referenced in 3 articles
[sw03825]
 Algorithm AS 194. An algorithm for testing goodness...

AS 41
 Referenced in 2 articles
[sw03826]
 Algorithm AS 41. Updating the sample mean and...

AS 178
 Referenced in 2 articles
[sw03827]
 Algorithm AS 178. The GaussJordan sweep operator...

AMPL
 Referenced in 607 articles
[sw04001]
 AMPL is a comprehensive and powerful algebraic modeling...

Möbius
 Referenced in 23 articles
[sw04098]
 Möbius™ is a software tool for modeling the...

SMTLIB
 Referenced in 190 articles
[sw04103]
 SMTLIB was created with the expectation that...

NuSMV
 Referenced in 305 articles
[sw04131]
 NuSMV is a symbolic model checker developed as...