Francis Sergeraert

Publication Activity (10 Years)

Years Active: 1988-2020
Publications (10 Years): 4

Top Topics

Quantifier Elimination

Persistent Homology

Top Venues

Found. Comput. Math.

Discret. Comput. Geom.

Publications

Ana Romero, Julio Rubio, Francis Sergeraert, Markus Szymik
A new Kenzo module for computing the Eilenberg-Moore spectral sequence. ACM Commun. Comput. Algebra 54 (2) (2020)
Ana Romero, Julio Rubio, Francis Sergeraert
An implementation of effective homotopy of fibrations. J. Symb. Comput. 94 (2019)
Ana Romero, Francis Sergeraert
A Bousfield-Kan Algorithm for Computing the Effective Homotopy of a Space. Found. Comput. Math. 17 (5) (2017)
Ana Romero, Julio Rubio, Francis Sergeraert
Effective homology of filtered digital images. Pattern Recognit. Lett. 83 (2016)
Francis Sergeraert
Functional Programming is Free. CoRR (2015)
Ana Romero, Francis Sergeraert
A Combinatorial Tool for Computing the Effective Homotopy of Iterated Loop Spaces. Discret. Comput. Geom. 53 (1) (2015)
Ana Romero, Jónathan Heras, Julio Rubio, Francis Sergeraert
Defining and computing persistent Z-homology in the general case. CoRR (2014)
Ana Romero, Julio Rubio, Francis Sergeraert
Effective persistent homology of digital images. CoRR (2014)
Martin Cadek, Marek Krcál, Jirí Matousek, Francis Sergeraert, Lukás Vokrínek, Uli Wagner
Computing All Maps into a Sphere. J. ACM 61 (3) (2014)
Marek Krcál, Jirí Matousek, Francis Sergeraert
Polynomial-Time Homology for Simplicial Eilenberg-MacLane Spaces. Found. Comput. Math. 13 (6) (2013)
Martin Cadek, Marek Krcál, Jirí Matousek, Francis Sergeraert, Lukás Vokrínek, Uli Wagner
Computing all maps into a sphere. SODA (2012)
Ana Romero, Francis Sergeraert
Programming before theorizing, a case study. ISSAC (2012)
Ana Romero, Francis Sergeraert
Effective homotopy of fibrations. Appl. Algebra Eng. Commun. Comput. 23 (1-2) (2012)
Marek Krcál, Jirí Matousek, Francis Sergeraert
Polynomial-time homology for simplicial Eilenberg-MacLane spaces CoRR (2012)
Martin Cadek, Marek Krcál, Jirí Matousek, Francis Sergeraert, Lukás Vokrínek, Uli Wagner
Computing all maps into a sphere CoRR (2011)
Jónathan Heras, Vico Pascual, Julio Rubio, Francis Sergeraert
fKenzo: A user interface for computations in Algebraic Topology. J. Symb. Comput. 46 (6) (2011)
Ana Romero, Francis Sergeraert
Discrete Vector Fields and Fundamental Algebraic Topology CoRR (2010)
Jónathan Heras, Vico Pascual, Julio Rubio, Francis Sergeraert
Improving the usability of Kenzo, a Common Lisp system for Algebraic Topology. ELS (2008)
Ana Romero, Julio Rubio, Francis Sergeraert
Computing spectral sequences. J. Symb. Comput. 41 (10) (2006)
Ana Romero, Julio Rubio, Francis Sergeraert
Computing spectral sequences CoRR (2006)
César Domínguez, Julio Rubio, Francis Sergeraert
Modeling Inheritance as Coercion in the Kenzo System. J. Univers. Comput. Sci. 12 (12) (2006)
Julio Rubio, Francis Sergeraert
Computing with locally effective matrices. Int. J. Comput. Math. 82 (10) (2005)
Francis Sergeraert
Constructive algebraic topology. SIGSAM Bull. 33 (3) (1999)
Julio Rubio, Francis Sergeraert
A program computing the homology groups of loops spaces. SIGSAM Bull. 25 (4) (1991)
Francis Sergeraert
From a Noncomputability Result to new interesting Definitions and Computability Results. ISSAC (1988)