Certifying feasibility and objective value of linear programs

DOI10.1016/j.orl.2012.03.004zbMath1247.90187OpenAlexW1964933337MaRDI QIDQ453056

Daniel Dumitriu, Ernst Althaus

Publication date: 18 September 2012

Published in: Operations Research Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.orl.2012.03.004

zbMATH Keywords

linear programmingcertified feasibilityrational arithmeticsafe bounds

Mathematics Subject Classification ID

Linear programming (90C05)

Related Items

A review of computation of mathematically rigorous bounds on optima of linear programs ⋮ Sign conditions for injectivity of generalized polynomial maps with applications to chemical reaction networks and real algebraic geometry

Uses Software

• gmp
• SoPlex
• Boost C++ Libraries
• Netlib
• Boost
• NETLIB LP Test Set

Cites Work

• The final NETLIB-LP results
• Safe bounds in linear and mixed-integer linear programming
• Exact solutions to linear programming problems
• Computational experience with rigorous error bounds for the Netlib linear programming library
• A Survey of Condition Number Estimation for Triangular Matrices
• Integration of an LP Solver into Interval Constraint Propagation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item