Homotopies and the Universal Fixed Point Property. - Markus Szymik (Order, 2015)

A new Kenzo module for computing the Eilenberg-Moore spectral sequence. - Ana Romero 001; Julio Rubio 001; Francis Sergeraert; Markus Szymik (ACM Commun. Comput. Algebra, 2020)