D Avis,
D Bremner - Proceedings of the eleventh annual symposium on …, 1995 - dl.acm.org
A d dimensional convex polyhedron is the intersection of a finite number m of non-redundant
halfspaces '1-l={kf], 172,... I-1~} of $? d. A bounded convex polyhedron is called a polytope …