Stav dette: Um algoritmo para estimar a dimensão do segundo grupo de homologia de um grupo finitamente apresentado