1: \begin{abstract}

2: 

3: In this paper we present several algorithms related with

4: the computation of the homology of groups, from a geometric

5: perspective (that is to say, carrying out the calculations

6: by means of simplicial sets and using techniques of

7: Algebraic Topology). More concretely, we have developed some algorithms which, making use

8: of the \emph{effective homology} method, construct

9: the homology groups of Eilenberg-MacLane

10: spaces $K(G,1)$ for different groups $G$, allowing one in particular to determine the

11: homology groups of $G$.

12: 

13: Our algorithms have been programmed as new modules for

14: the Kenzo system, enhancing it with the following new

15: functionalities:

16: \begin{itemize}

17:   \item construction of the effective homology of $K(G,1)$ from

18:   a given finite free resolution of the group $G$;

19:   \item construction of the effective homology of $K(A,1)$ for every

20:   finitely generated Abelian group $A$ (as a consequence, the effective

21:   homology of $K(A,n)$ is also available in Kenzo, for all $n \in \mathbb{N}$);

22:   \item computation of homology groups of some $2$-types;

23:   \item construction of the effective homology for central extensions.

24: \end{itemize}

25: In addition, an \emph{inverse} problem is also approached in this work:

26: given a group $G$ such that $K(G,1)$ has effective homology, can a finite free

27: resolution of the group $G$ be obtained? We provide some algorithms to solve

28: this problem, based on a notion of \emph{norm} of a group, allowing us to

29: control the convergence of the process when building such a resolution.

30: \end{abstract}