"pozitivn\u011B semidefinitn\u00ED"@cs .