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