Search - Archive ouverte HAL Access content directly

Filter your results

57 Results
Image document

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.
Comptes Rendus. Mathématique, 2020, 358 (7), pp.843-875. ⟨10.5802/crmath.99⟩
Journal articles hal-02648075v2

Formalizing the Face Lattice of Polyhedra

Xavier Allamigeon , Ricardo Katz , Pierre-Yves Strub
Automated Reasoning. IJCAR 2020, pp.185-203, 2020, ⟨10.1007/978-3-030-51054-1_11⟩
Book sections hal-03151656v1

A Formalization of Convex Polyhedra Based on the Simplex Method

Xavier Allamigeon , Ricardo David Katz
Journal of Automated Reasoning, 2019, 63 (2), pp.323-345. ⟨10.1007/s10817-018-9477-1⟩
Journal articles hal-01967575v1

On the Complexity of Strongly Connected Components in Directed Hypergraphs

Xavier Allamigeon
Algorithmica, 2014, 69 (2), pp.335-369. ⟨10.1007/s00453-012-9729-0⟩
Journal articles hal-00782846v1

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

Tropical Spectrahedra

Xavier Allamigeon , Stephane Gaubert , Mateusz Skomra
SIAM Applied Algebraic Geometry (SIAMAG), Jul 2017, Atlanta, United States
Conference papers hal-01676701v1
Image document

Design patterns of hierarchies for order structures

Xavier Allamigeon , Quentin Canu , Cyril Cohen , Kazuhiko Sakaguchi , Pierre-Yves Strub
2023
Preprints, Working Papers, ... hal-04008820v1
Image document

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

Combinatorial simplex algorithms can solve mean payoff games

Xavier Allamigeon , Pascal Benchimol , Stéphane Gaubert , Michael Joswig
SIAM Journal on Optimization, 2014, 24 (4), pp.22. ⟨10.1137/140953800⟩
Journal articles hal-00930915v1

Certification of Bounds of Non-linear Functions: the Templates Method

Xavier Allamigeon , Stéphane Gaubert , Victor Magron , Benjamin Werner
Conferences on Intelligent Computer Mathematics (CICM 2013), Jul 2013, Bath, United Kingdom. pp.51-65, ⟨10.1007/978-3-642-39320-4_4⟩
Conference papers hal-00932333v1

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

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

Log-barrier interior point methods are not strongly polynomial

Xavier Allamigeon , Pascal Benchimol , Stéphane Gaubert , Michael Joswig
SIAM Journal on Applied Algebra and Geometry, 2018, 2 (1), pp.140-178. ⟨10.1137/17M1142132⟩
Journal articles hal-01674959v1
Image document

The tropical analogue of the Helton–Nie conjecture is true

Xavier Allamigeon , Stéphane Gaubert , Mateusz Skomra
Journal of Symbolic Computation, 2019, 91, pp.129-148. ⟨10.1016/j.jsc.2018.06.017⟩
Journal articles hal-01674497v1

Minimal external representations of tropical polyhedra

Xavier Allamigeon , R.D. Katz
Journal of Combinatorial Theory, Series A, 2013, 120 (4), pp.907-940. ⟨10.1016/j.jcta.2013.01.011⟩
Journal articles hal-00782837v1

Tropicalizing the simplex algorithm

Xavier Allamigeon , Pascal Benchimol , Stéphane Gaubert , Michael Joswig
SIAM Journal on Discrete Mathematics, 2015, 29 (2), ⟨10.1137/130936464⟩
Journal articles hal-00930913v1

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
Image document

What Tropical Geometry Tells Us about the Complexity of Linear Programming

Xavier Allamigeon , Pascal Benchimol , Stéphane Gaubert , Michael Joswig
SIAM Review, 2021, 63 (1), pp.123-164. ⟨10.1137/20M1380211⟩
Journal articles hal-03505719v1

Certification of real inequalities: templates and sums of squares

Victor Magron , Xavier Allamigeon , Stéphane Gaubert , Benjamin Werner
Mathematical Programming, 2014, 151 (2), pp.30. ⟨10.1007/s10107-014-0834-5⟩
Journal articles hal-01096485v1

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

Stationary solutions of discrete and continuous Petri nets with priorities

Xavier Allamigeon , Vianney Boeuf , Stephane Gaubert
Performance Evaluation, 2017, 113, pp.1 - 12. ⟨10.1016/j.peva.2017.04.007⟩
Journal articles hal-01674492v1

Solving generic nonarchimedean semidefinite programs using stochastic game algorithms

Xavier Allamigeon , Stephane Gaubert , Mateusz Skomra
Journal of Symbolic Computation, 2018, 85, pp.25-54. ⟨10.1016/j.jsc.2017.07.002⟩
Journal articles hal-01674494v1

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

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

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

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

Formalizing the Face Lattice of Polyhedra

Xavier Allamigeon , Ricardo Katz , Pierre-Yves Strub
Logical Methods in Computer Science, 2022, 18 (2), ⟨10.46298/lmcs-18(2:10)2022⟩
Journal articles hal-03915661v1

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

Computing the Vertices of Tropical Polyhedra using Directed Hypergraphs

Xavier Allamigeon , Stéphane Gaubert , Eric Goubault
Discrete and Computational Geometry, 2013, 49, pp.247-279. ⟨10.1007/s00454-012-9469-6⟩
Journal articles hal-00782862v1

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