INVESTIGADORES
KATZ Ricardo David
capítulos de libros
XAVIER ALLAMIGEON; RICARDO D. KATZ; PIERRE YVES STRUB
Formalizing the Face Lattice of Polyhedra
Automated Reasoning (Volume 12167 of Lecture Notes in Computer Science)
Lugar: Cham; Año: 2020; p. 185 - 203
XAVIER ALLAMIGEON; RICARDO D. KATZ
A Formalization of Convex Polyhedra Based on the Simplex Method
Interactive Theorem Proving (Volume 10499 of Lectures Notes in Computer Science)
Lugar: Berlín; Año: 2017; p. 28 - 45
STÉPHANE GAUBERT; RICARDO D. KATZ
Max-plus convex geometry
Relations and Kleene Algebra in Computer Science (Volume 4136 of Lecture Notes in Computer Science)
Lugar: Berlín; Año: 2006; p. 192 - 206
STÉPHANE GAUBERT; RICARDO KATZ
Reachability and invariance problems in max-plus algebra
Positive Systems (Volume 294 of Lecture Notes in Control and Information Sciences)
Lugar: Berlín; Año: 2003; p. 15 - 22