• Normaliz

  • Referenced in 145 articles [sw00630]
  • Ehrhart) series and the Hilbert (or Ehrhart) (quasi) polynomial under a Z-grading (for example ... polytopes), generalized (or weighted) Ehrhart series and Lebesgue integrals of polynomials over rational polytopes...
  • PolyLib

  • Referenced in 47 articles [sw09923]
  • included parameterized vertices computation. PolyLib3.14 includes Ehrhart polynomials computation, which permits to count the number...
  • barvinok

  • Referenced in 11 articles [sw04868]
  • This is a generalization of both Ehrhart quasi-polynomials and vector partition functions. Alternatively...
  • cdd

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

  • Referenced in 605 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • CoCoALib

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

  • Referenced in 1579 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 4933 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5714 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Maxima

  • Referenced in 144 articles [sw00560]
  • Maxima is a system for the manipulation of...
  • nauty

  • Referenced in 533 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • NTL

  • Referenced in 196 articles [sw00638]
  • NTL is a high-performance, portable C++ library...
  • PARI/GP

  • Referenced in 568 articles [sw00680]
  • PARI/GP is a widely used Computer Algebra System...
  • polymake

  • Referenced in 280 articles [sw00724]
  • polymake is open source software for research in...
  • R

  • Referenced in 7694 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

  • Referenced in 1511 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SINGULAR

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

  • Referenced in 146 articles [sw01075]
  • LiE is the name of a software package...
  • 4ti2

  • Referenced in 135 articles [sw04379]
  • A software package for algebraic, geometric and combinatorial...