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 | 158 | 1972 |
The computability problem in algebraic topology F Sergeraert Advances in Mathematics 104 (1), 1-29, 1994 | 137 | 1994 |
Constructive algebraic topology J Rubio, F Sergeraert Bulletin des Sciences Mathématiques 126 (5), 389-412, 2002 | 134 | 2002 |
Feuilletages et difféomorphismes infiniment tangents à l'identité F Sergeraert Inventiones mathematicae 39, 253-275, 1977 | 93 | 1977 |
The kenzo program X Dousson, F Sergeraert, Y Siret | 83 | 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 | 57 | 2014 |
Computing spectral sequences A Romero, J Rubio, F Sergeraert Journal of symbolic computation 41 (10), 1059-1079, 2006 | 54 | 2006 |
Discrete vector fields and fundamental algebraic topology A Romero, F Sergeraert arXiv preprint arXiv:1005.5685, 2010 | 48 | 2010 |
EAT: symbolic software for effective homology computation J Rubio, F Sergeraert, Y Siret Institut Fourier, Grenoble, 1997 | 32 | 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 | 29 | 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 | 25 | 2013 |
Homologie effective. I, II F Sergeraert CR Acad. Sci. Paris Sér. I Math 304 (11), 279-282, 1987 | 25 | 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 | 22 | 2014 |
Algebraic models for homotopy types J Rubio, F Sergeraert | 22 | 2005 |
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 |