PanLinx
Deutsch
deu-000
positiv definit
English
eng-000
positive definite
PanLex