• VAMPIRE

  • Referenced in 202 articles [sw02918]
  • CASC version uses the Knuth-Bendix ordering. The lexicographic path ordering has been implemented recently...
  • gSpan

  • Referenced in 92 articles [sw11908]
  • candidate generation. gSpan builds a new lexicographic order among graphs, and maps each graph ... canonical label. Based on this lexicographic order gSpan adopts the depth-first search strategy...
  • Tyrolean

  • Referenced in 88 articles [sw07830]
  • bounds, dependency pair method, Knuth-Bendix order, lexicographic path order, loop detection, matrix interpretation, polynomial...
  • GBNP

  • Referenced in 17 articles [sw07724]
  • total degree first then lexicographicalordering. Further provided are some variations, such as a weighted...
  • Janet

  • Referenced in 31 articles [sw07776]
  • reverse lexicographical one, the pure lexicographical one, block orderings and their extensions to the case...
  • JanetOre

  • Referenced in 5 articles [sw09587]
  • reverse lexicographical one, the pure lexicographical one, block orderings and their extensions to ”term over...
  • ADOL-C

  • Referenced in 207 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • BPMPD

  • Referenced in 38 articles [sw00088]
  • BPMPD is a state-of-the-art implementation...
  • CoCoA

  • Referenced in 563 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • GAP

  • Referenced in 2392 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Grail

  • Referenced in 17 articles [sw00374]
  • Grail is a symbolic computation environment for finite...
  • MA48

  • Referenced in 21 articles [sw00535]
  • The design of MA48: A code for the...
  • Macaulay2

  • Referenced in 1341 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 2347 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Mathematica

  • Referenced in 5178 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • MiniSat

  • Referenced in 483 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • MuPAD

  • Referenced in 135 articles [sw00606]
  • MuPAD consists of a powerful symbolic engine, a...
  • polymake

  • Referenced in 260 articles [sw00724]
  • polymake is open source software for research in...
  • PROFIL/BIAS

  • Referenced in 106 articles [sw00733]
  • PROFIL (Programmer’s Runtime Optimized Fast Interval Library...
  • R

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