
GreatSPN
 Referenced in 57 articles
[sw00384]
 distributed systems using Generalized Stochastic Petri Nets and their colored extension: Stochastic Wellformed Nets...

GreatSPN 1.7
 Referenced in 41 articles
[sw01562]
 distributed systems using Generalized Stochastic Petri Nets and their colored extension. The tool provides...

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

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

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

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

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

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

SageMath
 Referenced in 1741 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

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

Visual C++
 Referenced in 85 articles
[sw03519]
 Microsoft Visual C++ (often abbreviated as MSVC or...

UCIml
 Referenced in 3127 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

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

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

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

Gromacs
 Referenced in 120 articles
[sw04128]
 GROMACS is a versatile package to perform molecular...

SNOOPY
 Referenced in 33 articles
[sw04386]
 Snoopy is a software tool to design and...

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

Genocop
 Referenced in 1083 articles
[sw04707]
 Genocop, by Zbigniew Michalewicz, is a genetic algorithm...