positive-definite function - German English Dictionary