computational group theory(область науки на стыке математики и информатики, изучающая группы с помощью компьютеров. Эта область науки связана с проектированием, анализом алгоритмов и структур данных для вычисления различных характеристик групп Alex_Odeychuk)