PanLinx
русский
rus-000
обобщённое дифференцирование
English
eng-000
generalized derivation
PanLex