Publicaciones en colaboración con investigadores/as de Grenoble Alpes University (4)

2020

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

    ACM Communications in Computer Algebra, Vol. 54, Núm. 2, pp. 57-60

2019

  1. An implementation of effective homotopy of fibrations

    Journal of Symbolic Computation, Vol. 94, pp. 149-172

2016

  1. Simplicial Effective Homotopy

    XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016

2006

  1. Computing spectral sequences

    Journal of Symbolic Computation, Vol. 41, Núm. 10, pp. 1059-1079