PanLinx
русский
rus-000
символьное вычисление
English
eng-000
symbolic computation
PanLex