
Murphi
 Referenced in 16 articles
[sw22149]
 group at Stanford. It is an enumerative (explicit state) model checker, with its own input ... depthfirst or breadthfirst search of the state space. States encountered in this mode...

Kuai
 Referenced in 2 articles
[sw34182]
 safety property, and performs a distributed enumerative reachability analysis on a cluster of machines. Kuai ... Kuai exploits largescale distribution to quickly search the reduced state space...

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

FATCOP
 Referenced in 11 articles
[sw00265]
 We describe FATCOP 2.0, a new parallel mixed...

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

gfun
 Referenced in 134 articles
[sw00344]
 The gfun package provides tools for determining and...

Macaulay2
 Referenced in 1721 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Maple
 Referenced in 5168 articles
[sw00545]
 The result of over 30 years of cutting...

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

polymake
 Referenced in 299 articles
[sw00724]
 polymake is open source software for research in...

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

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

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

SCIP
 Referenced in 476 articles
[sw01091]
 SCIP is currently one of the fastest non...

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

MIPLIB
 Referenced in 310 articles
[sw04067]
 A mixed integer (linear) program (mip) is an...

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

CSPLib
 Referenced in 92 articles
[sw04150]
 CSPLib is a library of test problems for...

GAMS
 Referenced in 844 articles
[sw04978]
 The General Algebraic Modeling System (GAMS) is specifically...