Цель курса — изучение алгоритмов, которые лежат в основе систем компьютерной алгебры, таких, как Mathematica и Maple. Например, алгоритма Бухбергера, который решает систему полиномиальных уравнений, алгоритма Риша для символьного интегрирования и других.