2David Avis,Komei Fukuda. A pivoting algorithm for convex hulls and vertex enumeration of arrangements and polyhedra[J] 1992,Discrete & Computational Geometry(1):295～313
3Prof. Harold Greenberg. An algorithm for determining redundant inequalities and all solutions to convex polyhedra[J] 1975,Numerische Mathematik(1):19～26
