2 papers
math.OC2025
HV-symmetric polyhedra and bipolarity
David Avis
A polyhedron is pointed if it contains at least one vertex. Every pointed polyhedron P in R^n can be described by an H-representation consisting of half spaces or equivalently by a…
math.OC2024
Parallel Redundancy Removal in lrslib with Application to Projections
David Avis, Charles Jordan
We describe a parallel implementation in lrslib for removing redundant halfspaces and finding a minimum representation for an H-representation of a convex polyhedron. By a standard…