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

Ana Romero, Julio Rubio 0001, Francis Sergeraert, Markus Szymik. A new Kenzo module for computing the Eilenberg-Moore spectral sequence. ACM Comm. Computer Algebra, 54(2):57-60, 2020. [doi]

Abstract

Abstract is missing.