• PALP

  • Referenced in 70 articles [sw00672]
  • programs for calculations with lattice polytopes and applications to toric geometry, which is freely available ... addition, there are procedures specialised to reflexive polytopes such as the enumeration of reflexive subpolytopes...
  • lattice_polytope

  • Referenced in 3 articles [sw21169]
  • polytope module of SageMath: Lattice and reflexive polytopes. This module provides tools for work with ... lattice and reflexive polytopes. A convex polytope is the convex hull of finitely many points...
  • Calabi-Yau database

  • Referenced in 28 articles [sw24665]
  • complete construction of all 473,800,776 reflexive polyhedra that exist in four dimensions. These ... threefolds which can be obtained from each polytope, up to current computational limits. We then...
  • GAP

  • Referenced in 3068 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Macaulay2

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

  • Referenced in 3137 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Mathematica

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

  • Referenced in 13100 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • nauty

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

  • Referenced in 159 articles [sw00630]
  • Normaliz is a tool for computations in affine...
  • PARI/GP

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

  • Referenced in 312 articles [sw00724]
  • polymake is open source software for research in...
  • SageMath

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

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

  • Referenced in 870 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • MIPLIB

  • Referenced in 319 articles [sw04067]
  • A mixed integer (linear) program (mip) is an...
  • 4ti2

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

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

  • Referenced in 120 articles [sw04698]
  • Gfan is a software package for computing Gröbner...