
BARON
 Referenced in 339 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

GAP
 Referenced in 3068 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Isabelle
 Referenced in 674 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

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

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

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

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

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

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

DYNAMO
 Referenced in 258 articles
[sw01227]
 DYNAMO (DYNAmic MOdels) was a simulation language and...

CPnets
 Referenced in 137 articles
[sw01374]
 CPnets (Condition Preference Nets) is a tool...

Smalltalk
 Referenced in 190 articles
[sw01561]
 Smalltalk is an objectoriented, dynamically typed, reflective...

WordNet
 Referenced in 402 articles
[sw01777]
 WordNet® is a large lexical database of English...

IMOST
 Referenced in 8 articles
[sw02141]
 IMOST: Interactive multiple objective system technique An interactive...

TANE
 Referenced in 39 articles
[sw02196]
 TANE: An efficient algorithm for discovering functional and...

SNOPT
 Referenced in 532 articles
[sw02300]
 SNOPT: An SQP algorithm for largescale constrained...

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

CONOPT
 Referenced in 167 articles
[sw02791]
 CONOPT is a generalized reducedgradient (GRG) algorithm...

MOLFP
 Referenced in 21 articles
[sw02999]
 Computing nondominated solutions in MOLFP In this...