Publications in collaboration with researchers from Grenoble Alpes University (5)

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

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