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

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

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

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

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

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

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

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

CPLEX
 Referenced in 2766 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

Gurobi
 Referenced in 679 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming...

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

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

OEIS
 Referenced in 4187 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

ITIP
 Referenced in 37 articles
[sw17966]
 ITIP is a piece of software running on...