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

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

2010

  1. Diagrammatic logic applied to a parameterisation process

    Mathematical Structures in Computer Science, Vol. 20, Núm. 4, pp. 639-654

2006

  1. Computing spectral sequences

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

  2. Modeling Inheritance as coercion in the Kenzo System.

    Journal of Universal Computer Science, Vol. 12, Núm. 12, pp. 1701-1730

  3. Towards Diagrammatic Specifications of Symbolic Computation Systems

    Dagstuhl Seminar Proceedings