• 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, open-source 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 On-Line Encyclopedia of Integer Sequence. The...

• ITIP

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