Group theory and computation. (2018)