Рассматривается современная система компьютерной алгебры (символьных вычислений), предназначенная для решения огромного числа различных математических задач (линейная алгебра, дифференциальное и интегральное исчисление, теория графов, математическая статистика и другие).