Duality theory in linear optimization and its extensions -- formally verified
Martin Dvorak
,
Vladimir Kolmogorov
Accepted to
Annals of Formalized Mathematics
(
AFM
), 2025.
Links
arXiv