18 citations
- École PolytechniqueFR3 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Assistance Publique – Hôpitaux de ParisFR1 paper
- BEAGLE: Artificial Evolution and Computational BiologyFR1 paper
- Centre de Mathématiques Appliquées de l'École polytechniqueFR1 paper
- Centre Hospitalier Universitaire Henri-MondorFR1 paper
- Centre Inria de l'Université Grenoble AlpesFR1 paper
- Centro Científico Tecnólogico - RosarioAR1 paper
- Centro Internacional Franco-Argentino de Ciencias de la Información y de SistemasAR1 paper
- CERMICSFR1 paper
- Columbia UniversityUS1 paper
4 papers
Formalizing the Face Lattice of Polyhedra
Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub
Faces play a central role in the combinatorial and computational aspects of polyhedra. In this paper, we present the first formalization of faces of polyhedra in the proof assistan…
Tropical Dynamic Programming for Lipschitz Multistage Stochastic Programming
Marianne Akian, Jean-Philippe Chancelier, Benoît Tran
We present an algorithm called Tropical Dynamic Programming (TDP) which builds upper and lower approximations of the Bellman value functions in risk-neutral Multistage Stochastic P…
The tropicalization of the entropic barrier
Xavier Allamigeon, Abdellah Aznag, Stéphane Gaubert +1
The entropic barrier, studied by Bubeck and Eldan (Proc. Mach. Learn. Research, 2015), is a self-concordant barrier with asymptotically optimal self-concordance parameter. In this…
Understanding and monitoring the evolution of the Covid-19 epidemic from medical emergency calls: the example of the Paris area
Stéphane Gaubert, Marianne Akian, Xavier Allamigeon +16
We portray the evolution of the Covid-19 epidemic during the crisis of March-April 2020 in the Paris area, by analyzing the medical emergency calls received by the EMS of the four…