
cdd
 Referenced in 115 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CoCoA
 Referenced in 654 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

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

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

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

MOLGEN
 Referenced in 26 articles
[sw00586]
 Due to a detailed description of the underlying...

nauty
 Referenced in 609 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

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

SymChaff
 Referenced in 6 articles
[sw00938]
 SymChaff: Exploiting symmetry in a structureaware satisfiability...

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

cddplus
 Referenced in 13 articles
[sw04443]
 The program cdd+ is a C++ implementation of...

CVX
 Referenced in 832 articles
[sw04594]
 CVX is a modeling system for constructing and...

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

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

Plingeling
 Referenced in 75 articles
[sw07091]
 Lingeling, plingeling, picosat and precosat at sat race...

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

Traces
 Referenced in 182 articles
[sw07823]
 Search Space Contraction in Canonical Labeling of Graphs...