Publicaciones en las que colabora con Francis Sergeraert (10)

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

2017

  1. A Bousfield–Kan Algorithm for Computing the Effective Homotopy of a Space

    Foundations of Computational Mathematics, Vol. 17, Núm. 5, pp. 1335-1366

2016

  1. Effective homology of filtered digital images

    Pattern Recognition Letters

  2. Simplicial Effective Homotopy

    XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016

2015

  1. A Combinatorial Tool for Computing the Effective Homotopy of Iterated Loop Spaces

    Discrete and Computational Geometry, Vol. 53, Núm. 1, pp. 1-15

2013

  1. Spectral sequences for computing persistent homology of digital images

    Proceedings Applications of Computer Algebra ACA 2013

2012

  1. Effective homotopy of fibrations

    Applicable Algebra in Engineering, Communications and Computing, Vol. 23, Núm. 1-2, pp. 85-100

  2. Programming before theorizing, a case study

    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, pp. 289-296

2006

  1. Computing spectral sequences

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