From a Noncomputability Result to new interesting Definitions and Computability Results. - Francis Sergeraert (ISSAC, 1988)

A program computing the homology groups of loops spaces. - Julio Rubio 001; Francis Sergeraert (SIGSAM Bull., 1991)

Constructive algebraic topology. - Francis Sergeraert (SIGSAM Bull., 1999)

Computing with locally effective matrices. - Julio Rubio 001; Francis Sergeraert (Int. J. Comput. Math., 2005)

Computing spectral sequences. - Ana Romero 001; Julio Rubio 001; Francis Sergeraert (J. Symb. Comput., 2006)

Modeling Inheritance as Coercion in the Kenzo System. - César Domínguez 001; Julio Rubio 001; Francis Sergeraert (J. Univers. Comput. Sci., 2006)

Improving the usability of Kenzo, a Common Lisp system for Algebraic Topology. - Jónathan Heras; Vico Pascual; Julio Rubio 001; Francis Sergeraert (ELS, 2008)

Discrete Vector Fields and Fundamental Algebraic Topology - Ana Romero 001; Francis Sergeraert (CoRR, 2010)

fKenzo: A user interface for computations in Algebraic Topology. - Jónathan Heras; Vico Pascual; Julio Rubio 001; Francis Sergeraert (J. Symb. Comput., 2011)

Programming before theorizing, a case study. - Ana Romero 001; Francis Sergeraert (ISSAC, 2012)

Effective homotopy of fibrations. - Ana Romero 001; Francis Sergeraert (Appl. Algebra Eng. Commun. Comput., 2012)

Polynomial-Time Homology for Simplicial Eilenberg-MacLane Spaces. - Marek Krcál; Jirí Matousek 001; Francis Sergeraert (Found. Comput. Math., 2013)

Defining and computing persistent Z-homology in the general case. - Ana Romero 001; Jónathan Heras; Julio Rubio 001; Francis Sergeraert (CoRR, 2014)

Effective persistent homology of digital images. - Ana Romero 001; Julio Rubio 001; Francis Sergeraert (CoRR, 2014)

Computing All Maps into a Sphere. - Martin Cadek; Marek Krcál; Jirí Matousek 001; Francis Sergeraert; Lukás Vokrínek; Uli Wagner 001 (J. ACM, 2014)

Functional Programming is Free. - Francis Sergeraert (CoRR, 2015)

A Combinatorial Tool for Computing the Effective Homotopy of Iterated Loop Spaces. - Ana Romero 001; Francis Sergeraert (Discret. Comput. Geom., 2015)

Effective homology of filtered digital images. - Ana Romero 001; Julio Rubio 001; Francis Sergeraert (Pattern Recognit. Lett., 2016)

A Bousfield-Kan Algorithm for Computing the Effective Homotopy of a Space. - Ana Romero 001; Francis Sergeraert (Found. Comput. Math., 2017)

An implementation of effective homotopy of fibrations. - Ana Romero 001; Julio Rubio 001; Francis Sergeraert (J. Symb. Comput., 2019)

A new Kenzo module for computing the Eilenberg-Moore spectral sequence. - Ana Romero 001; Julio Rubio 001; Francis Sergeraert; Markus Szymik (ACM Commun. Comput. Algebra, 2020)

About the Kannan-Bachem algorithm. - Francis Sergeraert (CoRR, 2024)