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

Martin Dvorak, Vladimir Kolmogorov

Links