Ricardo D. Katz

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 13

Top Topics

Condition Numbers

Convex Polyhedra

Top Venues

Discret. Appl. Math.

Publications

Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub
Formalizing the Face Lattice of Polyhedra. Log. Methods Comput. Sci. 18 (2) (2022)
Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra
Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games. CoRR (2022)
Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra
Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games. ICALP (2022)
Maximiliano Cristiá, Ricardo D. Katz, Gianfranco Rossi
Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra. Comput. J. 65 (7) (2022)
Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub
Formalizing the Face Lattice of Polyhedra. CoRR (2021)
Maximiliano Cristiá, Ricardo D. Katz, Gianfranco Rossi
Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra. CoRR (2021)
Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub
Formalizing the Face Lattice of Polyhedra. IJCAR (2) (2020)
Xavier Allamigeon, Ricardo D. Katz
A Formalization of Convex Polyhedra Based on the Simplex Method. J. Autom. Reason. 63 (2) (2019)
Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra
Condition numbers of stochastic mean payoff games and what they say about nonarchimedean semidefinite programming. CoRR (2018)
Néstor E. Aguilera, Ricardo D. Katz, Paola B. Tolomei
Addendum to "Vertex adjacencies in the set covering polyhedron" [Discrete Appl. Math. 218(2017) 40-56]. Discret. Appl. Math. 243 (2018)
Xavier Allamigeon, Ricardo D. Katz
A formalization of convex polyhedra based on the simplex method. CoRR (2017)
Xavier Allamigeon, Ricardo D. Katz
A Formalization of Convex Polyhedra Based on the Simplex Method. ITP (2017)
Néstor E. Aguilera, Ricardo D. Katz, Paola B. Tolomei
Vertex adjacencies in the set covering polyhedron. Discret. Appl. Math. 218 (2017)