All Questions

Suppose we are given group $G=\langle a_1,\ldots,a_n \mid R_1=1,\ldots R_m=1 \rangle$. Is there an algorithm which computes a finite presentation for the Schur multiplier, i.e. second homology group $...