Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences

Daniel Miguel, Andrea Guidolin, Ana Romero, Julio Rubio 0001. Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences. Journal of Symbolic Computation, 114:122-148, 2023. [doi]

Abstract

Abstract is missing.