cdd
From MaRDI portal
Cdd
Cited in
(only showing first 100 items - show all)- How to draw tropical planes
- Ehrhart polynomials of matroid polytopes and polymatroids
- Compact cellular algebras and permutation groups
- A catalog of minimally nonideal matrices
- gmp
- Normaliz
- polymake
- How good are convex hull algorithms?
- SingSurf
- ZRAM
- INGRID
- Multiplicative principal-minor inequalities for totally nonnegative matrices
- Suboptimal explicit receding horizon control via approximate multiparametric quadratic pro\-gramming
- Corrigendum to: ``The explicit linear quadratic regulator for constrained systems
- iB4e
- The final NETLIB-LP results
- Inner and outer approximations of polytopes using boxes.
- Quasi-semi-metrics, oriented multi-cuts and related polyhedra
- On the linear description of the 3-cycle polytope
- Enumerating a subset of the integer points inside a Minkowski sum
- Estimating the number of vertices of a polyhedron
- jReality
- JavaView
- SoPlex
- CARAT
- 4ti2
- Parallel enumeration of triangulations
- Qhull
- cddplus
- azove
- LattE
- Gfan
- lrs
- MPT
- The polymake interface in Singular and its applications
- TOPCOM
- barvinok
- PORTA
- Homology
- Computing with an algebraic-perturbation variant of Barvinok's algorithm
- CDDMEX
- QPC
- Linear criterion for testing the extremity of an exact game based on its finest min-representation
- The joint weight enumerator of an LCD code and its dual
- HYSDEL
- Small cones of m-hemimetrics
- Sparsity in sums of squares of polynomials
- Solving the fixed rank convex quadratic maximization in binary variables by a parallel zonotope construction algorithm
- Constrained optimal control of linear and hybrid systems
- Combinatorial optimization and small polytopes
- desing
- PGeomlib
- A finite loop space not rationally equivalent to a compact Lie group
- Combinatorial results on the fitting problems of the multivariate gamma distribution introduced by Prékopa and Szántai
- Enhancements on the hyperplanes arrangements in mixed-integer programming techniques
- General theory for interactions in sufficient cause models with dichotomous exposures
- Bézier control points method to solve constrained quadratic optimal control of time varying linear systems
- Likelihood inference in exponential families and directions of recession
- GRAFFITI
- The lowest-degree polynomial with nonnegative coefficients divisible by the \(n\)-th cyclotomic polynomial
- On convex relaxations of quadrilinear terms
- Convex
- rcdd
- Computing the integer hull of convex polyhedral sets
- Optimal patchings for consecutive ones matrices
- Sum-of-squares methods for controlled invariant sets with applications to model-predictive control
- isl
- PermLib
- SymPol
- The gfanlib interface in Singular and its applications
- PolyLib
- TropLi
- GBT
- Quantum violation of the suppes-zanotti inequalities and ``contextuality
- Finding MEMo: minimum sets of elementary flux modes
- Cutting planes for RLT relaxations of mixed 0-1 polynomial programs
- Hull
- Counterexample-guided predicate abstraction of hybrid systems
- The tropical totally positive Grassmannians
- Homothetic tube model predictive control
- Computing convex hulls and counting integer points with \texttt{polymake}
- Lyapunov stability for piecewise affine systems via cone-copositivity
- Towards using the chordal graph polytope in learning decomposable models
- Alternatives for testing total dual integrality
- Computing tropical resultants
- a-tint: a polymake extension for algorithmic tropical intersection theory
- TiGERS
- Computing tropical varieties
- LOLIB
- A counterexample to the dominating set conjecture
- On generators of bounded ratios of minors for totally positive matrices
- A fresh view on the tolerance approach to sensitivity analysis in linear programming
- Minimal ellipsoid circumscribing a polytope defined by a system of linear inequalities
- Grasshopper
- Convex hulls, oracles, and homology
- From the zonotope construction to the Minkowski addition of convex polytopes
- Effective lattice point counting in rational convex polytopes
- Optimal control of constrained piecewise affine systems.
- Algorithms and programs for calculating the roots of polynomial of one or two variables
- A multi-objective supplier selection framework based on user-preferences
This page was built for software: cdd
