• Infeasibility certificates for linear matrix inequalities 

      [OWP-2011-28] Klep, Igor; Schweighofer, Markus (Mathematisches Forschungsinstitut Oberwolfach, 2011-05-25)
      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 ...