66 citations · 468 across the 34 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.OC2017★ 66 cited
Log-barrier interior point methods are not strongly polynomial
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert +1
We prove that primal-dual log-barrier interior point methods are not strongly polynomial, by constructing a family of linear programs with inequalities in dimension for…
cs.LO2017
A formalization of convex polyhedra based on the simplex method
Xavier Allamigeon, Ricardo D. Katz
We present a formalization of convex polyhedra in the proof assistant Coq. The cornerstone of our work is a complete implementation of the simplex method, together with the proof o…