A polycyclic quotient algorithm

From MaRDI portal
Publication:1382042