Computational group theory

study of mathematical groups by means of computers

American mathematician (1937–2017)

algorithm