research
∙
01/10/2023
A Formal Disproof of the Hirsch Conjecture
The purpose of this paper is the formal verification of a counterexample...
share
research
∙
06/17/2022
Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games
We develop value iteration-based algorithms to solve in a unified manner...
research
∙
06/17/2022
Interior point methods are not worse than Simplex
Whereas interior point methods provide polynomial-time linear programmin...
research
∙
02/06/2022
Computing Transience Bounds of Emergency Call Centers: a Hierarchical Timed Petri Net Approach
A fundamental issue in the analysis of emergency call centers is to esti...
research
∙
01/06/2022
No self-concordant barrier interior point method is strongly polynomial
It is an open question to determine if the theory of self-concordant bar...
research
∙
04/30/2021
Formalizing the Face Lattice of Polyhedra
Faces play a central role in the combinatorial and computational aspects...
research
∙
05/28/2020
Understanding and monitoring the local progression of the Covid-19 epidemic from medical emergency calls: the example of the Paris area
We portray the evolution of the Covid-19 epidemic during the crisis of M...
research
∙
05/28/2020
Forecasting the local progression of the Covid-19 epidemic from medical emergency calls: the example of the Paris area
We portray the evolution of the Covid-19 epidemic during the crisis of M...
research
∙
02/21/2018