Publications en collaboration avec des chercheurs de Royal Institute of Technology (2)

2023

  1. Effective spectral systems relating Serre and Eilenberg–Moore spectral sequences

    Journal of Symbolic Computation, Vol. 114, pp. 122-148

2021

  1. Constructing new spectral systems from simplicial fibrations

    ACM Communications in Computer Algebra, Vol. 55, Núm. 3, pp. 87-91