Cited in
(only showing first 100 items - show all)- The Hypermetric Cone on Seven Vertices
- Polytope volume by descent in the face lattice and applications in social choice
- The gfanlib interface in Singular and its applications
- Implementing Generating Set Search Methods for Linearly Constrained Minimization
- scientific article; zbMATH DE number 1444341 (Why is no real title available?)
- The space of logically consistent classical processes without causal order
- Polyhedral methods for space curves exploiting symmetry applied to the cyclic \(n\)-roots problem
- Hybrid Systems: Computation and Control
- Cutting planes for RLT relaxations of mixed 0-1 polynomial programs
- SOSTOOLS and Its Control Applications
- Linear criterion for testing the extremity of an exact game based on its finest min-representation
- Corrigendum to: ``The explicit linear quadratic regulator for constrained systems
- Convex hulls, oracles, and homology
- Optimal complexity reduction of polyhedral piecewise affine systems
- On the enumeration of certain weighted graphs
- The joint weight enumerator of an LCD code and its dual
- Small Cones of Oriented Semi-Metrics
- Polyhedral and algebraic methods in computational geometry
- Effective lattice point counting in rational convex polytopes
- Voronoi polytopes for polyhedral norms on lattices
- Reconstruction of multi-soliton interactions using crest data for (2+1)-dimensional KdV type equations
- SReachTools: A MATLAB stochastic reachability toolbox
- Sparsity in sums of squares of polynomials
- Solving the fixed rank convex quadratic maximization in binary variables by a parallel zonotope construction algorithm
- Prospective control in an enhanced manpower planning model
- Finding MEMo: minimum sets of elementary flux modes
- Output-sensitive cell enumeration in hyperplane arrangements
- A generalized sewing construction for polytopes
- scientific article; zbMATH DE number 1383707 (Why is no real title available?)
- Linear inequalities among graph invariants: Using GraPHedron to uncover optimal relationships
- Estimating the number of vertices of a polyhedron
- Likelihood inference in exponential families and directions of recession
- On the linear description of the 3-cycle polytope
- The \(4\times 4\) minors of a \(5\times n\) matrix are a tropical basis
- Deciding polyhedrality of spectrahedra
- The explicit linear quadratic regulator for constrained systems
- Bayesian network structure learning with integer programming: polytopes, facets and complexity
- Polymake and Lattice Polytopes
- Facet defining inequalities among graph invariants: The system graphedron
- Optimal patchings for consecutive ones matrices
- A geometric view on learning Bayesian network structures
- Toric Ext and Tor in \texttt{polymake} and \textbf{Singular}: the two-dimensional case and beyond
- Monomial subrings in arbitrary dimension
- A portable parallel implementation of the \textit{lrs} vertex enumeration code
- Multiplicative principal-minor inequalities for totally nonnegative matrices
- Hybrid Systems: Computation and Control
- On generators of bounded ratios of minors for totally positive matrices
- Extreme lower probabilities
- Minimal ellipsoid circumscribing a polytope defined by a system of linear inequalities
- Enumerating a subset of the integer points inside a Minkowski sum
- Vertex adjacencies in the set covering polyhedron
- Small cones of m-hemimetrics
- Building Representative Matched Samples With Multi-Valued Treatments in Large Observational Studies
- Enumeration of \(4 \times 4\) magic squares
- The contact polytope of the Leech lattice
- Computing the integer hull of convex polyhedral sets
- Computing convex hulls and counting integer points with \texttt{polymake}
- Classification of eight-dimensional perfect forms
- a-tint: a polymake extension for algorithmic tropical intersection theory
- Quasi-semi-metrics, oriented multi-cuts and related polyhedra
- On packing and covering polyhedra of consecutive ones circulant clutters
- Algorithms and programs for calculating the roots of polynomial of one or two variables
- Counterexample-guided predicate abstraction of hybrid systems
- gmp
- Normaliz
- polymake
- SingSurf
- INGRID
- ZRAM
- iB4e
- jReality
- JavaView
- CARAT
- 4ti2
- SoPlex
- cddplus
- Qhull
- azove
- LattE
- Gfan
- lrs
- MPT
- barvinok
- Homology
- PORTA
- CDDMEX
- QPC
- HYSDEL
- TOPCOM
- desing
- PGeomlib
- GRAFFITI
- Convex
- rcdd
- isl
- PermLib
- PolyLib
- GBT
- SymPol
- TropLi
This page was built for software: cdd
