Title: Computational approaches to combinatorial group theory