Отметим, что не для любой задачи компьютерной алгебры существуют алгоритмы решения. Например, задача определения совместности диофантовых уравнений алгоритмически не разрешима. В ряде случаев, задачи компьютерной алгебры не допускают эффективного алгоритма их решения (в предположении ). Примером таких задач являются задачи определения совместности линейных диофантовых уравнений и задача определения совместности системы алгебраических уравнений над полем вещественных чисел. Эти примеры показывают глубокое проникновение теории сложности алгоритмов в методы компьютерной алгебры. Анализ алгоритмов компьютерной алгебры является прекрасным иллюстративным материалом для таких курсов как анализ и разработка алгоритмов, структуры данных.