Verified Linear Programming through Tolerance-Aware Precision Boosting

作者：Ernesto Casablanca, Martin Sidaway, Paolo Zuliani, Sadegh Soudjani · 单位：Newcastle University, United Kingdom, University of Birmingham and MPI-SWS, Birmingham, United Kingdom · 会议/期刊：arXiv preprint · 方向：math.OC · 发布日期：2026-09-11