Algorithms for the topology of arithmetic groups and Hecke actions - Michael Lipnowski