
A generalized Farkas lemma with a numerical certificate and linear semi-infinite programs with SDP duals
Keywords: 90C05; 90C22; 90C34; 90C46; Linear semi-infinite; Linear inequality constraints; Farkas lemma; Dual characterization;