"positive semidefinite" Deutsche bedeutung