E-LIB Suche - Ergebnisse für: Allamigeon, Xavier

1

A Formal Disproof of Hirsch Conjecture:

, In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Allamigeon, Xavier ; Canu, Quentin ; Strub, Pierre-Yves - p. 17-29 , 2023

2

Tropical Complementarity Problems and Nash Equilibria:

Allamigeon, Xavier ; Gaubert, Stéphane ; Meunier, Frédéric
SIAM Journal on Discrete Mathematics. 37 (2023) 3 - p. 1645-1665 , 2023

Link: https://doi.org/10.1137/..

3

Formalizing the Face Lattice of Polyhedra:

Allamigeon, Xavier ; Katz, Ricardo D. ; Strub, Pierre-Yves
Logical Methods in Computer Science. 18, Issue 2 (2022) - p. , 2022

Link: https://doi.org/10.46298..

4

Computing Transience Bounds of Emergency Call Centers: A Hi..:

, In: Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science,

Allamigeon, Xavier ; Boyet, Marin ; Gaubert, Stéphane - p. 90-112 , 2022

Link: https://doi.org/10.1007/..

5

No self-concordant barrier interior point method is strongl..:

, In: Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing,

Allamigeon, Xavier ; Gaubert, Stéphane ; Vandame, Nicolas - p. 515-528 , 2022

Link: https://dl.acm.org/doi/1..

6

Interior point methods are not worse than Simplex:

, In: 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS),

Allamigeon, Xavier ; Dadush, Daniel ; Loho, Georg.. - p. 267-277 , 2022

Link: https://doi.org/10.1109/..

7

What Tropical Geometry Tells Us about the Complexity of Lin..:

Allamigeon, Xavier ; Benchimol, Pascal ; Gaubert, Stéphane.
SIAM Review. 63 (2021) 1 - p. 123-164 , 2021

Link: https://doi.org/10.1137/..

8

Formalizing the Face Lattice of Polyhedra:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Allamigeon, Xavier ; Katz, Ricardo D. ; Strub, Pierre-Yves - p. 185-203 , 2020

Link: https://doi.org/10.1007/..

9

Piecewise Affine Dynamical Models of Timed Petri Nets – App..:

, In: Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science,

Allamigeon, Xavier ; Boyet, Marin ; Gaubert, Stéphane - p. 260-279 , 2020

Link: https://doi.org/10.1007/..

10

Tropical Spectrahedra:

Allamigeon, Xavier ; Gaubert, Stéphane ; Skomra, Mateusz
Discrete & Computational Geometry. 63 (2020) 3 - p. 507-548 , 2020

Link: https://doi.org/10.1007/..

11

A Convex Programming Approach to Solve Posynomial Systems:

, In: Lecture Notes in Computer Science; Mathematical Software – ICMS 2020,

Akian, Marianne ; Allamigeon, Xavier ; Boyet, Marin. - p. 241-250 , 2020

Link: https://doi.org/10.1007/..

12

The tropical analogue of the Helton–Nie conjecture is true:

Allamigeon, Xavier ; Gaubert, Stéphane ; Skomra, Mateusz
Journal of Symbolic Computation. 91 (2019) - p. 129-148 , 2019

Link: https://doi.org/10.1016/..

13

Log-Barrier Interior Point Methods Are Not Strongly Polynom..:

Allamigeon, Xavier ; Benchimol, Pascal ; Gaubert, Stéphane.
SIAM Journal on Applied Algebra and Geometry. 2 (2018) 1 - p. 140-178 , 2018

Link: https://doi.org/10.1137/..

14

A Formalization of Convex Polyhedra Based on the Simplex Me..:

Allamigeon, Xavier ; Katz, Ricardo D.
Journal of Automated Reasoning. 63 (2018) 2 - p. 323-345 , 2018

Link: https://doi.org/10.1007/..

15

Solving generic nonarchimedean semidefinite programs using ..:

Allamigeon, Xavier ; Gaubert, Stéphane ; Skomra, Mateusz
Journal of Symbolic Computation. 85 (2018) - p. 25-54 , 2018

Link: https://doi.org/10.1016/..