English ⇔ German / Englisch ⇔ Deutsch 🔎 extended search positiv definit DeutschEnglish positiv definit [mat.]positive definite