PanLinx
English
eng-000
direct sum decomposition
русский
rus-000
разложение в прямую сумму
PanLex