Having just finished a geometric group theory course I was hoping to see something about the word problem for automatic groups, or at least an algorithm to comp

Having just finished a geometric group theory course I was hoping to see something about the word problem for automatic groups, or at least an algorithm to compute Dehn presentations of f.g. hyperbolic groups, but it looks like a cool resource with plenty of interesting topics. Another book the HN crowd might like is Shoup's "a computational introduction to number theory and algebra"[0], it is much more broad and with litte focus on implementations, but a very interesting book nonetheless [0]https://shoup.net/ntb/ https://shoup.net/ntb/