Какие существуют современные системы кодирования для работы с математическими выражениями?

Некоторые современные системы кодирования для работы с математическими выражениями:

• Системы компьютерной алгебры (СКА). math-it.petrsu.ru Это прикладные программы для символьных вычислений, то есть выполнения преобразований и работы с математическими выражениями в аналитической (символьной) форме. math-it.petrsu.ru К ним относятся, например, Derive, Mathematica, Maple, Maxima, Axiom, Reduce, MuPAD, MathCAD, MATHLAB, Sage, Yacas, Scientific WorkPlace, Kalamaris. math-it.petrsu.ru
• Специализированные СКА. math-it.petrsu.ru Они предназначены для решения задач одного или нескольких смежных разделов символьной математики. math-it.petrsu.ru Например, GAP (алгебра групп), Cadabra (тензорная алгебра), KANT (алгебра и теория чисел). math-it.petrsu.ru

Также существует арифметическое кодирование — алгоритм сжатия информации без потерь, который при кодировании ставит в соответствие тексту вещественное число из отрезка [0; 1]. neerc.ifmo.ru