A new kenzo module for computing the eilenberg-moore spectral sequence

  1. Romero, A.
  2. Rubio, J.
  3. Sergeraert, F.
  4. Szymik, M.
Revista:
ACM Communications in Computer Algebra

ISSN: 1932-2240,  1932-2232

Año de publicación: 2020

Volumen: 54

Número: 2

Páginas: 57-60

Tipo: Artículo

DOI: 10.1145/3427218.3427225 GOOGLE SCHOLAR
Fuente de los datos: Scopus