formal manipulation в энциклопедиях
мат. формальные преобразования; формальные выкладки; группировка (членов)