A convex polyhedron is defined as the set of
solutions to a system of linear inequalities
(i.e., a matrix inequality), where is a realmatrix and is a real-vector. Given and , vertex enumeration is the determination of the polyhedron's
polyhedron vertices.
Avis, D. and Fukuda, K. "A Pivoting Algorithm for Convex Hulls and Vertex Enumeration of Arrangements and Polyhedra." In ACM Symposium
on Computational Geometry. Papers from the Seventh Annual Symposium held in North
Conway, New Hampshire, June 10-12, 1991 (Ed. H. Edelsbrunner). Disc.
Comput. Geom.8, 295-313, 1992. Fukada, K. and Mizukosh,
I. "Vertex Enumeration Package for Convex Polytopes and Arrangements."
http://library.wolfram.com/infocenter/MathSource/440/.