Francis Sergeraert

According to our database, Francis Sergeraert authored at least 21 papers between 1988 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

A new Kenzo module for computing the Eilenberg-Moore spectral sequence.

Ana Romero, Julio Rubio, Francis Sergeraert, Markus Szymik

ACM Commun. Comput. Algebra, 2020

2019

An implementation of effective homotopy of fibrations.

Ana Romero, Julio Rubio, Francis Sergeraert

J. Symb. Comput., 2019

2017

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

Ana Romero, Francis Sergeraert

Found. Comput. Math., 2017

2016

Effective homology of filtered digital images.

Ana Romero, Julio Rubio, Francis Sergeraert

Pattern Recognit. Lett., 2016

2015

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

Ana Romero, Francis Sergeraert

Discret. Comput. Geom., 2015

Functional Programming is Free.

Francis Sergeraert

CoRR, 2015

2014

Computing All Maps into a Sphere.

Martin Cadek, Marek Krcál, Jirí Matousek, Francis Sergeraert, Lukás Vokrínek, Uli Wagner

J. ACM, 2014

Effective persistent homology of digital images.

Ana Romero, Julio Rubio, Francis Sergeraert

CoRR, 2014

Defining and computing persistent Z-homology in the general case.

Ana Romero, Jónathan Heras, Julio Rubio, Francis Sergeraert

CoRR, 2014

2013

Polynomial-Time Homology for Simplicial Eilenberg-MacLane Spaces.

Marek Krcál, Jirí Matousek, Francis Sergeraert

Found. Comput. Math., 2013

2012

Effective homotopy of fibrations.

Ana Romero, Francis Sergeraert

Appl. Algebra Eng. Commun. Comput., 2012

Programming before theorizing, a case study.

Ana Romero, Francis Sergeraert

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

2011

fKenzo: A user interface for computations in Algebraic Topology.

Jónathan Heras, Vico Pascual, Julio Rubio, Francis Sergeraert

J. Symb. Comput., 2011

2010

Discrete Vector Fields and Fundamental Algebraic Topology

Ana Romero, Francis Sergeraert

CoRR, 2010

2008

Improving the usability of Kenzo, a Common Lisp system for Algebraic Topology.

Jónathan Heras, Vico Pascual, Julio Rubio, Francis Sergeraert

Proceedings of the 1st European Lisp Symposium (ELS'08), 2008

2006

Modeling Inheritance as Coercion in the Kenzo System.

César Domínguez, Julio Rubio, Francis Sergeraert

J. Univers. Comput. Sci., 2006

Computing spectral sequences.

Ana Romero, Julio Rubio, Francis Sergeraert

J. Symb. Comput., 2006

2005

Computing with locally effective matrices.

Julio Rubio, Francis Sergeraert

Int. J. Comput. Math., 2005

1999

Constructive algebraic topology.

Francis Sergeraert

SIGSAM Bull., 1999

1991

A program computing the homology groups of loops spaces.

Julio Rubio, Francis Sergeraert

SIGSAM Bull., 1991

1988

From a Noncomputability Result to new interesting Definitions and Computability Results.

Francis Sergeraert

Proceedings of the Symbolic and Algebraic Computation, 1988