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

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

ISSN: 1932-2240,  1932-2232

Year of publication: 2020

Volume: 54

Issue: 2

Pages: 57-60

Type: Article

DOI: 10.1145/3427218.3427225 GOOGLE SCHOLAR
Data source: Scopus