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