Grupo de Informática de la Universidad de La Rioja
Psycotrip
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