формальное вычисление

Мат. formal calculation, formal computation