{"id":"arxiv/2609.11721","url":"https://arxiv.org/abs/2609.11721","tags":["math.OC","math.NA"],"score":0,"title":"Verified Linear Programming through Tolerance-Aware Precision Boosting","domain":"math.OC","source":"arxiv","authors":["Ernesto Casablanca","Martin Sidaway","Paolo Zuliani","Sadegh Soudjani"],"reviews":0,"subject":"math.OC","summary":"Linear programming plays a fundamental role in computer science, with applications in optimization, formal verification, SMT solving, and numerous other domains. When exactness guarantees are required, numerical inaccuracies arising from floating-point arithmetic can compromise soundness, whereas exact rational arithmetic often incurs significant computational overhead. In this paper, we investigate the numerical stability of the simplex algorithm and establish conditions under which a precision-boosting floating-point implementation provably produces the same pivot decisions and final basis…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-10","reactions":{}}