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

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

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

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

PolyBoRi
 Referenced in 47 articles
[sw00723]
 This work presents a new framework for Gröbner...

SageMath
 Referenced in 1714 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SINGULAR
 Referenced in 1412 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

slimgb
 Referenced in 19 articles
[sw00878]
 Slimgb is a variation of Buchbergers’s algorithm...

DIRECT
 Referenced in 64 articles
[sw03054]
 Design and implementation of a massively parallel version...

CUDD
 Referenced in 148 articles
[sw04446]
 The CUDD package provides functions to manipulate Binary...

Trivium
 Referenced in 42 articles
[sw06150]
 TRIVIUM is a hardware oriented synchronous stream cipher...

eSTREAM
 Referenced in 93 articles
[sw12699]
 Welcome to the home page of eSTREAM, the...

RSat
 Referenced in 22 articles
[sw13117]
 RSat is a complete Boolean satisfiability solver with...