Ricardo D. Katz

Available identifiers

zbMath Open katz.ricardo-davidMaRDI QIDQ435970

List of research outcomes

Publication	Date of Publication	Type
Formalizing the Face Lattice of Polyhedra	2022-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5094138	2022-08-02	Paper
Formalizing the Face Lattice of Polyhedra	2021-04-30	Paper
A formalization of convex polyhedra based on the simplex method	2019-08-21	Paper
Addendum to: ``Vertex adjacencies in the set covering polyhedron	2018-05-24	Paper
A formalization of convex polyhedra based on the simplex method	2018-01-04	Paper
Tropicalization of facets of polytopes	2017-08-28	Paper
Max-Plus $(A,B)$-Invariant Spaces and Control of Timed Discrete-Event Systems	2017-07-27	Paper
Vertex adjacencies in the set covering polyhedron	2016-12-28	Paper
Tropical Fourier–Motzkin elimination, with an application to real-time verification	2014-10-15	Paper
Characterization of tropical hemispaces by \((P, R)\)-decompositions	2014-04-02	Paper
Minimal external representations of tropical polyhedra	2013-04-15	Paper
Tropical linear-fractional programming and parametric mean payoff games	2012-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q5389748	2012-04-23	Paper
On commuting matrices in max algebra and in classical nonnegative algebra	2011-12-08	Paper
Tropical polar cones, hypergraph transversals, and mean payoff games	2011-07-13	Paper
Minimal half-spaces and external representation of tropical polyhedra	2011-03-31	Paper
Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems	2011-03-21	Paper
The number of extreme points of tropical polyhedra	2011-01-07	Paper
The tropical analogue of polar cones	2009-07-02	Paper
Max-Plus Convex Geometry	2008-04-24	Paper
The Minkowski theorem for max-plus convex sets	2007-03-09	Paper
REACHABILITY PROBLEMS FOR PRODUCTS OF MATRICES IN SEMIRINGS	2006-08-14	Paper
https://portal.mardi4nfdi.de/entity/Q4657046	2005-03-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ricardo D. Katz