Sturm, J.F.

programming solution semide nite programming lemma program semide theorem direction matrix problem duality proof program cpb result point algorithm infeasible point methods university condition method matrice section sequence report relation k +1 k slater condition regularized corollary solution pair nition erasmus university rotterdam optimization vector paper regularization value system slater theory space sturm 2 2 ker ct number notice research feasibility yield zhang characterization analysis semide nite cone example du n 15 condition number level direction siam journal property ramana level operations research sensitivity 2 dx v hker r h constraint duality results mathematics subspace infeasibility wolkowicz 1996. z 2 m y 2 rel level directions direction sequence cone k netherland identity