
polymake
 Referenced in 208 articles
[sw00724]
 combinatorics and the geometry of convex polytopes and polyhedra. It is also capable of dealing...

LattE
 Referenced in 85 articles
[sw04654]
 counting lattice points and integration inside convex polytopes. LattE contains the first ever implementation...

plantri
 Referenced in 37 articles
[sw10864]
 planar graphs, including triangulations, quadrangulations and convex polytopes. Many applications in the natural sciences ... given. These include triangulations, quadrangulations, convex polytopes, several classes of cubic and quartic graphs...

PORTA
 Referenced in 86 articles
[sw04869]
 analyzing polytopes and polyhedra. The polyhedra are either given as the convex hull...

Convex
 Referenced in 21 articles
[sw07770]
 Polyhedra can also be described as the convex hull of finitely many points and rays ... polyhedron is also called a polytope. In the Convex package, polyhedra are represented ... type POLYHEDRON and polytopes by the subtype POLYTOPE. A POLYHEDRON may contain lines ... generated by finitely many rays. In the Convex package, cones are represented by the type...

TiGERS
 Referenced in 8 articles
[sw12585]
 bijection with the vertices of a convex polytope known as the state polytope...

Normaliz
 Referenced in 74 articles
[sw00630]
 computations in affine monoids, vector configurations, lattice polytopes, and rational cones. Its input data ... computes the defining hyperplanes, and vice versa), convex hulls, a triangulation of a vector ... cone, the lattice points of a rational polytope or unbounded polyhedron, the integer hull...

PALP
 Referenced in 35 articles
[sw00672]
 programs for calculations with lattice polytopes and applications to toric geometry, which is freely available ... lattice points in the convex hull of a given set of points. In addition, there ... procedures specialised to reflexive polytopes such as the enumeration of reflexive subpolytopes, and applications...

StochaTR
 Referenced in 3 articles
[sw11113]
 coefficients, an uncertainty set is a convex polytope that can be exactly calculated. We construct...

rcdd
 Referenced in 2 articles
[sw08186]
 forth between two representations of a convex polytope: as solution of a set of linear...

lattice_polytope
 Referenced in 1 article
[sw21169]
 with lattice and reflexive polytopes. A convex polytope is the convex hull of finitely many...

TPtool
 Referenced in 1 article
[sw11769]
 linear parametervarying) dynamic models into polytopic forms, both in a theoretical and algorithmic context ... model transformation, different optimization and convexity constraints can be considered, and transformations can be executed ... model transformation generates two kinds of polytopic models. Firstly, it numerically reconstructs the HOSVD (Higher ... model transformation generates various convex polytopic forms, upon which LMI (Linear Matrix Inequality) based multi...

gfanlib
 Referenced in 2 articles
[sw15679]
 features of convex geometry through an interface to Gfanlib. It contains cones, polytopes and fans...

IPO
 Referenced in 0 articles
[sw15166]
 function. This is in contrast to usual convexhull algorithms which produce the entire description ... MIPLIB 2.0, facetdetection for matching polytopes with one quadratic objective term and adjacency statistics...

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

CGAL
 Referenced in 228 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CSDP
 Referenced in 156 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

GAP
 Referenced in 1803 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Macaulay2
 Referenced in 1014 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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