Francis Sergeraert

26 papers A* 1B 2Journal 22Unranked 1

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