
cdd
 Referenced in 102 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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

CoCoALib
 Referenced in 43 articles
[sw00144]
 CoCoALib: A C++ library for computations in commutative...

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

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

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

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

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

Normaliz
 Referenced in 129 articles
[sw00630]
 Normaliz is a tool for computations in affine...

NTL
 Referenced in 184 articles
[sw00638]
 NTL is a highperformance, portable C++ library...

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

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

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

LiE
 Referenced in 137 articles
[sw01075]
 LiE is the name of a software package...

4ti2
 Referenced in 123 articles
[sw04379]
 A software package for algebraic, geometric and combinatorial...

LattE
 Referenced in 102 articles
[sw04654]
 LattE (Lattice point Enumeration) is a computer software...

Gfan
 Referenced in 104 articles
[sw04698]
 Gfan is a software package for computing Gröbner...

TOPCOM
 Referenced in 53 articles
[sw04867]
 TOPCOM: Triangulations of point configurations and oriented matroids...

barvinok
 Referenced in 11 articles
[sw04868]
 Software package barvinok. barvinok is a library for...

PORTA
 Referenced in 112 articles
[sw04869]
 PORTA is a collection of routines for analyzing...