TY  - RPRT
TI  - Formally Certifying the Vertex Set of a Polyhedron Faster than Informal Enumeration
AU  - Xavier Allamigeon
AU  - Yazid Id-Sahra
AU  - Pierre-Yves Strub
PY  - 2026
UR  - https://arxiv.org/abs/2610.11913
ID  - 2610.11913
ER  -