Computers, groups and hyperbolic geometry