show/hide this revision's text 1 [made Community Wiki]

I wrote a series of algorithms to find bounds on the homology of finitely-presented groups and implemented them in GAP in http://www.intlpress.com/HHA/v12/n1/a3/. Graham Ellis has written the GAP package HAP, http://www.gap-system.org/Packages/hap.html, which does some group (co)homology calculations.