Interoperating between computer algebra systems: computing homology of groups with Kenzo and GAP
scientific article; zbMATH DE number 6034151