Farkas' lemma is a fundamental result from linear programming providing linear certi cates for infeasibility of systems of linear inequalities. In semidefinite programming, such linear certificates only exist for strongly ...