A new Kenzo module for computing the Eilenberg-Moore spectral sequence

Abstract

In this work we present a new module for the computer algebraic topology system Kenzo computing the Eilenberg-Moore spectral sequence of fibrations between spaces with effective homology. These programs can be applied to determine the Eilenberg-Moore spectral sequence of extensions of finitely generated abelian groups.