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

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

Kronos
 Referenced in 263 articles
[sw01270]
 KRONOS is a tool developed with the aim...

Graphviz
 Referenced in 88 articles
[sw01283]
 Graphviz is open source graph visualization software. Graph...

CUDA
 Referenced in 1230 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...

SPIN
 Referenced in 716 articles
[sw03455]
 Spin is a popular opensource software tool...

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

Gurobi
 Referenced in 572 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming...

Walksat
 Referenced in 207 articles
[sw04328]
 GSAT and WalkSat are local search algorithms to...

Simulink
 Referenced in 771 articles
[sw04348]
 Simulink® is an environment for multidomain simulation and...

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

DLMF
 Referenced in 2451 articles
[sw04968]
 NIST digital library of mathematical functions. The National...

Maude
 Referenced in 675 articles
[sw06233]
 Maude is a highperformance reflective language and...

Dymola
 Referenced in 52 articles
[sw06285]
 Dymola, Dynamic Modeling Laboratory, is a complete tool...

OEIS
 Referenced in 3856 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

MTRAN
 Referenced in 20 articles
[sw07572]
 MTRAN (Modular Transformer) is a selfreconfigurable...

Roombots
 Referenced in 3 articles
[sw07573]
 Roombots: Modular robotics for adaptive and selforganizing...

Molecubes
 Referenced in 9 articles
[sw07574]
 Molecubes – an attractive programmable robotics system Molecubes could...

DIMACS
 Referenced in 546 articles
[sw08221]
 The DIMACS Implementation Challenges address questions of determining...