
VAMPIRE
 Referenced in 200 articles
[sw02918]
 CASC version uses the KnuthBendix ordering. The lexicographic path ordering has been implemented recently...

gSpan
 Referenced in 90 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 depthfirst search strategy...

Tyrolean
 Referenced in 88 articles
[sw07830]
 bounds, dependency pair method, KnuthBendix order, lexicographic path order, loop detection, matrix interpretation, polynomial...

GBNP
 Referenced in 17 articles
[sw07724]
 total degree first then lexicographical” ordering. Further provided are some variations, such as a weighted...

Janet
 Referenced in 30 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...

ADOLC
 Referenced in 206 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

BPMPD
 Referenced in 38 articles
[sw00088]
 BPMPD is a stateoftheart implementation...

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

GAP
 Referenced in 2385 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 1329 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

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

MiniSat
 Referenced in 479 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

MuPAD
 Referenced in 134 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 6264 articles
[sw00771]
 R is a language and environment for statistical...