|
|
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
,
Marin Boyet
,
Baptiste Colin
,
et al.
Journal articles
hal-02648075v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Formalizing the Face Lattice of Polyhedra
Xavier Allamigeon
,
Ricardo Katz
,
Pierre-Yves Strub
Book sections
hal-03151656v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A Formalization of Convex Polyhedra Based on the Simplex Method
Xavier Allamigeon
,
Ricardo David Katz
Journal articles
hal-01967575v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
On the Complexity of Strongly Connected Components in Directed Hypergraphs
Xavier Allamigeon
Journal articles
hal-00782846v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Long and Winding Central Paths
Xavier Allamigeon
,
Pascal Benchimol
,
Stephane Gaubert
,
Michael Joswig
SIAM Conference on Control and its Applications (SIAM CT’15), Jul 2015, Paris, France
Conference papers
hal-01263337v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Tropical Spectrahedra
Xavier Allamigeon
,
Stephane Gaubert
,
Mateusz Skomra
SIAM Applied Algebraic Geometry (SIAMAG), Jul 2017, Atlanta, United States
Conference papers
hal-01676701v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Design patterns of hierarchies for order structures
Xavier Allamigeon
,
Quentin Canu
,
Cyril Cohen
,
Kazuhiko Sakaguchi
,
Pierre-Yves Strub
2023
Preprints, Working Papers, ...
hal-04008820v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games
Xavier Allamigeon
,
Stéphane Gaubert
,
Ricardo David Katz
,
Mateusz Skomra
49th International Colloquium on Automata, Languages, and Programming (ICALP 2022), Jul 2022, Paris, France
Conference papers
hal-03698207v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Combinatorial simplex algorithms can solve mean payoff games
Xavier Allamigeon
,
Pascal Benchimol
,
Stéphane Gaubert
,
Michael Joswig
Journal articles
hal-00930915v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Certification of Bounds of Non-linear Functions: the Templates Method
Xavier Allamigeon
,
Stéphane Gaubert
,
Victor Magron
,
Benjamin Werner
Conference papers
hal-00932333v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Condition numbers of stochastic mean payoff games and what they say about nonarchimedean semidefinite programming
Xavier Allamigeon
,
Stephane Gaubert
,
Ricardo Katz
,
Mateusz Skomra
23rd International Symposium on Mathematical Theory of Networks and Systems, Jul 2018, Hong-Kong, France
Conference papers
hal-01967555v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A Formalization of Convex Polyhedra Based on the Simplex Method
Xavier Allamigeon
,
Ricardo D. Katz
Interactive Theorem Proving, Sep 2017, Brasília, Brazil
Conference papers
hal-01673390v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Log-barrier interior point methods are not strongly polynomial
Xavier Allamigeon
,
Pascal Benchimol
,
Stéphane Gaubert
,
Michael Joswig
Journal articles
hal-01674959v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
The tropical analogue of the Helton–Nie conjecture is true
Xavier Allamigeon
,
Stéphane Gaubert
,
Mateusz Skomra
Journal articles
hal-01674497v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Minimal external representations of tropical polyhedra
Xavier Allamigeon
,
R.D. Katz
Journal articles
hal-00782837v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Tropicalizing the simplex algorithm
Xavier Allamigeon
,
Pascal Benchimol
,
Stéphane Gaubert
,
Michael Joswig
Journal articles
hal-00930913v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
No self-concordant barrier interior point method is strongly polynomial
Xavier Allamigeon
,
Stéphane Gaubert
,
Nicolas Vandame
STOC 2022 - 54th Annual ACM SIGACT Symposium on Theory of Computing, Jun 2022, Rome, Italy. pp.515-528, ⟨10.1145/3519935.3519997⟩
Conference papers
hal-03915670v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
What Tropical Geometry Tells Us about the Complexity of Linear Programming
Xavier Allamigeon
,
Pascal Benchimol
,
Stéphane Gaubert
,
Michael Joswig
Journal articles
hal-03505719v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Certification of real inequalities: templates and sums of squares
Victor Magron
,
Xavier Allamigeon
,
Stéphane Gaubert
,
Benjamin Werner
Journal articles
hal-01096485v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Long and winding central paths
Xavier Allamigeon
,
Pascal Benchimol
,
Stephane Gaubert
,
Michael Joswig
Recent Advances in Linear Optimization, Jul 2014, Champs sur marne, France
Conference papers
hal-01097729v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Stationary solutions of discrete and continuous Petri nets with priorities
Xavier Allamigeon
,
Vianney Boeuf
,
Stephane Gaubert
Journal articles
hal-01674492v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Solving generic nonarchimedean semidefinite programs using stochastic game algorithms
Xavier Allamigeon
,
Stephane Gaubert
,
Mateusz Skomra
Journal articles
hal-01674494v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Solving Generic Nonarchimedean Semidefinite Programs Using Stochastic Game Algorithms
Xavier Allamigeon
,
Stephane Gaubert
,
Mateusz Skomra
SIAM Conference on Optimization, May 2017, Vancouver, Canada
Conference papers
hal-01676704v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Maximal Lower Bounds in the Loewner order
Nikolas Stott
,
Xavier Allamigeon
,
Stéphane Gaubert
2015 SIAM Conference on Applied Linear Algebra, Oct 2015, Atlanta, United States
Conference papers
hal-01263476v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Tropicalizing Semialgebraic Pivoting Rules, Or How to Solve Mean Payoff Games in Polynomial Time on Average
Xavier Allamigeon
,
Pascal Benchimol
,
Stephane Gaubert
SIAM Conference on Control and its Applications (SIAM CT’15), Jul 2015, Paris, France
Conference papers
hal-01263357v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Eigenvectors of Non-Linear Maps on the Cone of Positive Semidefinite Matrices Application to Stability Analysis
Nikolas Stott
,
Xavier Allamigeon
,
Stéphane Gaubert
,
Eric Goubault
,
Sylvie Putot
SIAM Conference on Control and its Applications (SIAM CT’15), Jul 2015, Paris, France
Conference papers
hal-01263384v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Formalizing the Face Lattice of Polyhedra
Xavier Allamigeon
,
Ricardo Katz
,
Pierre-Yves Strub
Journal articles
hal-03915661v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Combinatorial Simplex Algorithms Can Solve Mean Payoff Games
Xavier Allamigeon
,
Pascal Benchimol
,
Stephane Gaubert
,
Michael Joswig
The 21st International Symposium on Mathematical Theory of Networks and Systems (MTNS 2014), Jul 2014, Groningen, Netherlands
Conference papers
hal-01097727v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Computing the Vertices of Tropical Polyhedra using Directed Hypergraphs
Xavier Allamigeon
,
Stéphane Gaubert
,
Eric Goubault
Journal articles
hal-00782862v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Tropicalizing the simplex algorithm
Xavier Allamigeon
,
Pascal Benchimol
,
Stéphane Gaubert
,
Michael Joswig
ILAS 2013 - 18th Conference of the International Linear Algebra Society, Jun 2013, Providence, RI, United States
Conference papers
hal-00930959v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|