DSpace Collection:https://hdl.handle.net/10316/992024-03-26T19:06:46Z2024-03-26T19:06:46ZConvex hull calculations: a Matlab implementation and correctness proofs for the lrs-algorithmKovacec, AlexanderRibeiro, Bernardetehttps://hdl.handle.net/10316/114282020-05-25T13:08:06Z2003-01-01T00:00:00ZTitle: Convex hull calculations: a Matlab implementation and correctness proofs for the lrs-algorithm
Authors: Kovacec, Alexander; Ribeiro, Bernardete
Abstract: This paper provides full Matlab -code and informal correctness proofs
for the lexicographic reverse search algorithm for convex hull calculations. The
implementation was tested on a 1993 486-PC for various small and some larger,
partially highly degenerate combinatorial polytopes, one of which (a certain 13-
dimensional 24 vertex polyhedron) occurs naturally in the study of a well known
problem posed by Professor Graciano de Oliveira: see end of section 1.2003-01-01T00:00:00Z