TY  - RPRT
TI  - Duality theory in linear optimization and its extensions -- formally verified
AU  - Martin Dvorak
AU  - Vladimir Kolmogorov
PY  - 2026
DO  - 10.46298/afm.14253
UR  - https://arxiv.org/abs/2409.08119
ID  - 2409.08119
ER  -