Duality theory in linear optimization and its extensions -- formally verified
Questo articolo presenta la formalizzazione in Lean 4 di diversi teoremi simili a quello di Farkas su campi ordinati linearmente e estende la teoria della dualità nell'ottimizzazione lineare per includere coefficienti che possono assumere valori infiniti.