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

Мат. formal calculation, formal computation

Источник: Полный русско-английский словарь на Gufo.me