In this paper, a set of programs enhancing the Kenzo system is presented. Kenzo is a Common Lisp program designed for computing in Algebraic Topology, in particular it allows the user to calculate homology and homotopy groups of complicated spaces. The new programs presented here entirely compute Serre and Eilenberg-Moore spectral sequences, in particular the groups and differential maps for arbitrary r. They also determine when the spectral sequence has converged and describe the filtration of the target homology groups induced by the spectral sequence.

翻译：本文介绍了一套加强Kenzo系统的程序。 Kenzo是用于计算代数地形学的通用利斯普程序,特别是它使用户能够计算复杂空间的同质和同质组。这里介绍的新程序完全计算了Serre和Eilenberg-Moore的光谱序列,特别是任意 r 的组和差分地图。它们还确定光谱序列何时趋同,并描述光谱序列引发的目标同质组的过滤情况。