Publicaciones en las que colabora con Francis Sergeraert (24)

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

2011

  1. fKenzo: a user interface for computations in Algebraic Topology

    Journal of Symbolic Computation, Vol. 46, Núm. 6, pp. 685-698

  2. fKenzo: una interfaz de usuario para realizar cálculos en Topología Algebraica

    Gaceta de la Real Sociedad Matematica Española, Vol. 14, Núm. 2, pp. 297-308

2010

  1. A case study of A8-structure

    Georgian Mathematical Journal, Vol. 17, Núm. 1, pp. 57-77

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

2005

  1. Algebraic models for homotopy types.

    Homology, Homotopy and Applications, Vol. 7, Núm. 2, pp. 139-160

  2. Computing with Locally Effective Matrices

    International Journal of Computer Mathematics, Vol. 82, Núm. 10, pp. 1177-1189

  3. Postnikov "invariants" in 2004

    Georgian Mathematical Journal, Vol. 12, Núm. 1, pp. 139-155

2002

  1. Constructive Algebraic Topology

    Bulletin des Sciences Mathematiques, Vol. 126, Núm. 5, pp. 389-412

1998

  1. Overview of EAT

    Symbolic and Algebraic Computation Newsletter (SAC), Vol. 3, pp. 69-79

1997

  1. Constructive Algebraic Topology

    Lecture Notes Summer School on Fundamental Algebraic Topology (Institut Fourier), pp. 1-98