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

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

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