Computations in the topology of locally symmetric spaces