{"id":"arxiv/2610.11913","url":"https://arxiv.org/abs/2610.11913","tags":["cs.LO","math.CO","math.OC"],"score":0,"title":"Formally Certifying the Vertex Set of a Polyhedron Faster than Informal Enumeration","domain":"cs.LO","source":"arxiv","authors":["Xavier Allamigeon","Yazid Id-Sahra","Pierre-Yves Strub"],"reviews":0,"subject":"cs.LO","summary":"The computation of the vertices of a polyhedron described by a system of linear inequalities is a central problem in polyhedral computation. It is a fundamental step in the conversion between H-representations, by linear inequalities, and V-representations, by vertices and extreme rays. This operation plays an important role both in the study of polyhedra and their combinatorics in mathematics and in applications to software and system verification. We present a certificate-based approach for formally verifying the computation of the vertices of a polyhedron. Given an informally computed…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-08","reactions":{}}