| Un théoreme de fonctions implicites sur certains espaces de Fréchet et quelques applications F Sergeraert Annales scientifiques de l'École Normale Supérieure 5 (4), 599-660, 1972 | 157 | 1972 |
| The computability problem in algebraic topology F Sergeraert Advances in Mathematics 104 (1), 1-29, 1994 | 135 | 1994 |
| Constructive algebraic topology J Rubio, F Sergeraert Bulletin des Sciences Mathématiques 126 (5), 389-412, 2002 | 131 | 2002 |
| Feuilletages et difféomorphismes infiniment tangents à l'identité F Sergeraert Inventiones mathematicae 39, 253-275, 1977 | 88 | 1977 |
| The kenzo program X Dousson, F Sergeraert, Y Siret | 79 | 1999 |
| Algorithmique algébrique: avec exercices corrigés P Naudin, C Quitté, F Sergeraert Masson, 1992 | 62 | 1992 |
| Computing all maps into a sphere M Čadek, M Krčál, J Matoušek, F Sergeraert, L Vokřínek, U Wagner Journal of the ACM (JACM) 61 (3), 1-44, 2014 | 55 | 2014 |
| Computing spectral sequences A Romero, J Rubio, F Sergeraert Journal of symbolic computation 41 (10), 1059-1079, 2006 | 55 | 2006 |
| Discrete vector fields and fundamental algebraic topology A Romero, F Sergeraert arXiv preprint arXiv:1005.5685, 2010 | 44 | 2010 |
| EAT: symbolic software for effective homology computation J Rubio, F Sergeraert, Y Siret Institut Fourier, Grenoble, 1997 | 33 | 1997 |
| Une généralisation du théoreme des fonctions implicites de Nash F Sergeraert CR Acad. Sci. Paris Ser. A 270, 861-863, 1970 | 28 | 1970 |
| Polynomial-time homology for simplicial Eilenberg–MacLane spaces M Krčál, J Matoušek, F Sergeraert Foundations of Computational Mathematics 13 (6), 935-963, 2013 | 24 | 2013 |
| Algebraic models for homotopy types J Rubio, F Sergeraert | 24 | 2005 |
| Homologie effective. I, II F Sergeraert CR Acad. Sci. Paris Sér. I Math 304 (11), 279-282, 1987 | 24 | 1987 |
| Sur un théorème d'Arnold et Kolmogorov M Herman, F Sergeraert CR Acad. Sci. Paris Sér. AB 273, A409-A411, 1971 | 24 | 1971 |
| Defining and computing persistent Z-homology in the general case A Romero, J Heras, J Rubio, F Sergeraert arXiv preprint arXiv:1403.7086, 2014 | 20 | 2014 |
| fKenzo: A user interface for computations in Algebraic Topology J Heras, V Pascual, J Rubio, F Sergeraert Journal of Symbolic Computation 46 (6), 685-698, 2011 | 18 | 2011 |
| EAT: Symbolic Software for Effective Homology Computation, Institut Fourier, Grenoble, 1997 J Rubio, F Sergeraert, Y Siret | 17 | |
| Locally effective objects and algebraic topology J Rubio, F Sergeraert Computational Algebraic Geometry, 235-251, 1993 | 14 | 1993 |
| Overview of eat J Rubio, F Sergeraert, Y Siret Symbolic and Algebraic Computation (SAC) Newsletter 3, 69-79, 1998 | 12 | 1998 |
