Documents Savoirs Verification of semidefinite optimization problems with application to variational electronic structure calculation [Elektronische Ressource] / von Denis Chaykin Denis Chaykin