-
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, open-source 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 On-Line 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 QP-based methods for minimizing a conic...
-
extended-MIQCP
- Referenced in 10 articles
[sw31776]
- Extended formulations in mixed integer conic quadratic programming...