Library
Exploiting sparsity in linear and nonlinear matrix inequalities via positive semidefinite matrix completion