• 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]
  • graph-theoretic 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 high-performance, 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, open-source 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...