{"id":"arxiv/2610.13955","url":"https://arxiv.org/abs/2610.13955","tags":["math.MG","cs.CG"],"score":0,"title":"Certified Geometry and Admissible Motion of Gerver's Sofa","domain":"math.MG","source":"arxiv","authors":["Dawid Trela"],"reviews":0,"subject":"math.MG","summary":"The moving sofa problem asks for the largest planar set that can pass through a unit-width right-angled hallway. Gerver's 1992 construction remains the largest explicit example, but its defining switching parameters, continuum of supporting hallways, and contact topology involve transcendental equations and global inequalities. We give a reproducible exact-rational certification of the construction. A strict four-dimensional Krawczyk inclusion encloses the reduced switching system, while an independent twenty-two-dimensional Krawczyk calculation verifies Romik's full matching and contact…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-19","reactions":{}}