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

FFLASFFPACK
 Referenced in 26 articles
[sw00283]
 FFPACK: finite field linear algebra package. The FFLAS...

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

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

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

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

nauty
 Referenced in 609 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

polymake
 Referenced in 314 articles
[sw00724]
 polymake is open source software for research in...

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

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

Eigen
 Referenced in 207 articles
[sw05781]
 Eigen is a C++ template library for linear...

Traces
 Referenced in 180 articles
[sw07823]
 Search Space Contraction in Canonical Labeling of Graphs...

SeDiMO
 Referenced in 14 articles
[sw07826]
 Secant dimensions of minimal orbits: computations and conjectures...

CaTS
 Referenced in 8 articles
[sw08112]
 CaTS is a software package whose main functions...

MINION
 Referenced in 50 articles
[sw10176]
 MINION is a new constraint solver, which is...

SchurRings
 Referenced in 4 articles
[sw11785]
 SchurRings: a package for computing with symmetric functions...

PieriMaps
 Referenced in 9 articles
[sw12137]
 Computing inclusions of Schur modules. We describe a...

TateOnProducts
 Referenced in 4 articles
[sw12475]
 TateOnProducts, package for Macaulay2: Tate resolutions for products...