Publicaciones en las que colabora con Francis Sergeraert (19)

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. Effective homology of filtered digital images

    Pattern Recognition Letters

2013

  1. Spectral sequences for computing persistent homology of digital images

    Proceedings Applications of Computer Algebra ACA 2013

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

  2. EAT: Symbolic software for effective homology computation

    Institut Fourier

1990

  1. Acyclic suports and programming

    ASTERISQUE, Vol. 192, pp. 35-55

1988

  1. Effective homology and Eilenbert-Moore spectral sequences

    Comptes Rendus de l'Académie des Sciences. Série I. Mathématique, Vol. 306, Núm. 17, pp. 723-723

  2. Homologie effective et suites spectrales d'Eilenberg-Moore

    Comptes Rendus de Academie des Sciences, Paris, Serie II, Vol. 306, Núm. 17, pp. 723-726