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