pith. sign in

Xavier Allamigeon

Identifiers

  • name variant Xavier Allamigeon 0.60 · backfill

Papers (21)

  1. Condition numbers of stochastic mean payoff games and what they say about nonarchimedean semidefinite programming math.OC · 2018 · author #1
  2. Log-barrier interior point methods are not strongly polynomial math.OC · 2017 · author #1
  3. A formalization of convex polyhedra based on the simplex method cs.LO · 2017 · author #1
  4. Solving generic nonarchimedean semidefinite programs using stochastic game algorithms math.OC · 2016 · author #1
  5. Performance evaluation of an emergency call center: tropical polynomial systems applied to timed Petri nets math.OC · 2015 · author #1
  6. Tropicalization of facets of polytopes math.CO · 2014 · author #1
  7. The tropical shadow-vertex algorithm solves mean payoff games in polynomial time on average cs.GT · 2014 · author #1
  8. Long and winding central paths math.OC · 2014 · author #1
  9. Formal Proofs for Nonlinear Optimization cs.LO · 2014 · author #2
  10. Certification of Real Inequalities -- Templates and Sums of Squares math.OC · 2014 · author #1
  11. Combinatorial simplex algorithms can solve mean payoff games math.CO · 2013 · author #1
  12. Tropical Fourier-Motzkin elimination, with an application to real-time verification math.CO · 2013 · author #1
  13. Tropicalizing the simplex algorithm math.CO · 2013 · author #1
  14. Certification of inequalities involving transcendental functions: combining SDP and max-plus approximation math.OC · 2013 · author #1
  15. Certification of Bounds of Non-linear Functions: the Templates Method cs.SC · 2013 · author #1
  16. Minimal external representations of tropical polyhedra math.CO · 2012 · author #1
  17. On the complexity of strongly connected components in directed hypergraphs cs.DS · 2011 · author #1
  18. Tropical polar cones, hypergraph transversals, and mean payoff games math.CO · 2010 · author #1
  19. The tropical double description method cs.CG · 2010 · author #1
  20. The number of extreme points of tropical polyhedra math.CO · 2009 · author #1
  21. Computing the vertices of tropical polyhedra using directed hypergraphs math.CO · 2009 · author #1

Mentions

  • 1205.6314 #1 · backfill · confidence 0.70 Xavier Allamigeon
  • 1112.1444 #1 · backfill · confidence 0.70 Xavier Allamigeon
  • 1004.2778 #1 · backfill · confidence 0.70 Xavier Allamigeon
  • 1001.4119 #1 · backfill · confidence 0.70 Xavier Allamigeon
  • 0906.3492 #1 · backfill · confidence 0.70 Xavier Allamigeon
  • 0904.3436 #1 · backfill · confidence 0.70 Xavier Allamigeon

Frequent Coauthors