• 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 high-level language and interactive...
  • MOLGEN

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

  • Referenced in 597 articles [sw00611]
  • graph-theoretic 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 structure-aware 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 hyper-dual...
  • Plingeling

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

  • Referenced in 4006 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • Traces

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