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

FGb
 Referenced in 220 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

gfun
 Referenced in 110 articles
[sw00344]
 The gfun package provides tools for determining and...

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

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

Maple
 Referenced in 4101 articles
[sw00545]
 The result of over 30 years of cutting...

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

Matlab
 Referenced in 7666 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

Maxima
 Referenced in 98 articles
[sw00560]
 Maxima is a system for the manipulation of...

MuPAD
 Referenced in 132 articles
[sw00606]
 MuPAD consists of a powerful symbolic engine, a...

PARI/GP
 Referenced in 381 articles
[sw00680]
 PARI/GP is a widely used Computer Algebra System...

REDUCE
 Referenced in 679 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

Regexpcount
 Referenced in 5 articles
[sw00792]
 In a previous work [{\itP. Nicodème}, {\itB. Salvy...

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

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

SCIP
 Referenced in 263 articles
[sw01091]
 SCIP is currently one of the fastest non...

MACSYMA
 Referenced in 681 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

GiNaC
 Referenced in 40 articles
[sw01609]
 GiNaC is a C++ library. It is designed...

MIPLIB
 Referenced in 235 articles
[sw04067]
 A mixed integer (linear) program (mip) is an...