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

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

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

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

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

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

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

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

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

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

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

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

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

QPsimplex
 Referenced in 3 articles
[sw31751]
 Simplex QPbased methods for minimizing a conic...

extendedMIQCP
 Referenced in 10 articles
[sw31776]
 Extended formulations in mixed integer conic quadratic programming...