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

Any de publicació: 2020

Volum: 54

Número: 2

Pàgines: 57-60

Tipus: Article

DOI: 10.1145/3427218.3427225 GOOGLE SCHOLAR
Font de les dades: Scopus