Article detail

Authors: Xavier Allamigeon; Ricardo D. Katz.

Title: A Formalization of Convex Polyhedra based on the Simplex Method.

articulo_publicacion: JOURNAL OF AUTOMATED REASONING.

Editorial: SPRINGER.

Editing place: Berlin.

Publishing country: Alemania.

Reference type: Con Referato.

It's published?: No

ISSN: 0168-7433.

Volumen: 63.

Number: 2.

Pages:323-345