1 paper
Xavier Allamigeon, Quentin Canu, Pierre-Yves Strub
The purpose of this paper is the formal verification of a counterexample of Santos et al. to the so-called Hirsch Conjecture on the diameter of polytopes (bounded convex polyhedra)…