Duality theory in linear optimization and its extensions -- formally verified

arXiv:2409.08119v3 Announce Type: replace-cross Abstract: Farkas established that a system of linear inequalities has a solution if and only if we cannot obtain a contradiction by taking a linear combination of the inequalities. We state and formally prove several Farkas-like ...

🔗 Read more: https://arxiv.org/abs/2409.08119

#News #Math #Policy #Academic