Ana
Romero Ibáñez
PROFESORA TITULAR DE UNIVERSIDAD
Norwegian University of Science and Technology
Trondheim, NoruegaPublikationen in Zusammenarbeit mit Forschern von Norwegian University of Science and Technology (1)
2020
-
A new kenzo module for computing the eilenberg-moore spectral sequence
ACM Communications in Computer Algebra, Vol. 54, Núm. 2, pp. 57-60