P
Initializing...
Theorem 7, p. 29 — if the quadratic eigenvalue multiplicity satisfies k ≥ m + 2, then conv(𝒟) = 𝒟_SDP · Prove2Me