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

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

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

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

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

Matlab
 Referenced in 13100 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 597 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

R
 Referenced in 9188 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 2698 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

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

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

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

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

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

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

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