PanLinx
русский
rus-000
нелокальное дифференцирование
English
eng-000
nonlocal derivation
PanLex