Para solicitar al autor una copia del documento, por favor ingrese la siguiente información y especifique el motivo de su reutilización.
A Formalization of Convex Polyhedra Based on the Simplex Method