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

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

ISSN: 1932-2240,  1932-2232

Argitalpen urtea: 2020

Alea: 54

Zenbakia: 2

Orrialdeak: 57-60

Mota: Artikulua

DOI: 10.1145/3427218.3427225 GOOGLE SCHOLAR
Datuen iturria: Scopus