Символьные вычисления — это преобразования и работа с математическими равенствами и формулами как с последовательностью символов.