
Coq
 Referenced in 1783 articles
[sw00161]
 Coq is a formal proof management system. It...

MapReduce
 Referenced in 250 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

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

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

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

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

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

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

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

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

YALMIP
 Referenced in 907 articles
[sw04595]
 YALMIP Yet another LMI parser. YALMIP is a...

Uppaal
 Referenced in 625 articles
[sw04702]
 Uppaal is an integrated tool environment for modeling...

MPI
 Referenced in 494 articles
[sw06496]
 Automatic differentiation through the use of hyperdual...

Python
 Referenced in 1352 articles
[sw14460]
 Python is a widely used highlevel, general...

GitHub
 Referenced in 1502 articles
[sw23170]
 GitHub (originally known as Logical Awesome LLC)[3...

SimEvents
 Referenced in 3 articles
[sw32835]
 SimEvents® can be used to model messagebased...