| Gfun: a Maple package for the manipulation of generating and holonomic functions in one variable B Salvy, P Zimmermann ACM Transactions on Mathematical Software (TOMS) 20 (2), 163-177, 1994 | 535 | 1994 |
| Euler sums and contour integral representations P Flajolet, B Salvy Experimental Mathematics 7 (1), 15-35, 1998 | 385 | 1998 |
| A Gröbner free alternative for polynomial system solving M Giusti, G Lecerf, B Salvy Journal of complexity 17 (1), 154-211, 2001 | 357 | 2001 |
| Non-commutative elimination in Ore algebras proves multivariate identities F Chyzak, B Salvy Journal of Symbolic Computation 26 (2), 187-227, 1998 | 335 | 1998 |
| On the complexity of Gröbner basis computation of semi-regular overdetermined algebraic equations M Bardet, JC Faugere, B Salvy Proceedings of the International Conference on Polynomial System Solving, 71-74, 2004 | 295 | 2004 |
| Varieties of increasing trees F Bergeron, P Flajolet, B Salvy CAAP'92: 17th Colloquium on Trees in Algebra and Programming Rennes, France …, 1992 | 294 | 1992 |
| Asymptotic behaviour of the degree of regularity of semi-regular polynomial systems M Bardet, JC Faugere, B Salvy, BY Yang Proc. of MEGA 5, 2-2, 2005 | 289* | 2005 |
| On the complexity of the F5 Gröbner basis algorithm M Bardet, JC Faugère, B Salvy Journal of Symbolic Computation 70, 49-70, 2015 | 219 | 2015 |
| Automatic average-case analysis of algorithms P Flajolet, B Salvy, P Zimmermann Theoretical Computer Science 79 (1), 37-109, 1991 | 193 | 1991 |
| Motif statistics P Nicodeme, B Salvy, P Flajolet Theoretical Computer Science 287 (2), 593-617, 2002 | 186 | 2002 |
| On the complexity of solving quadratic boolean systems M Bardet, JC Faugère, B Salvy, PJ Spaenlehauer Journal of Complexity 29 (1), 53-75, 2013 | 139 | 2013 |
| Fast algorithms for computing isogenies between elliptic curves A Bostan, F Morain, B Salvy, É Schost Mathematics of Computation 77 (263), 1755-1778, 2008 | 139 | 2008 |
| Complexity of Gröbner basis computation for Semi-regular Overdetermined sequences over F_2 with solutions in F_2 M Bardet, JC Faugere, B Salvy INRIA, 2003 | 111 | 2003 |
| Fast computation of special resultants A Bostan, P Flajolet, B Salvy, É Schost Journal of Symbolic Computation 41 (1), 1-29, 2006 | 97* | 2006 |
| Non-D-finite excursions in the quarter plane A Bostan, K Raschel, B Salvy Journal of Combinatorial Theory, Series A 121, 45-63, 2014 | 96 | 2014 |
| Fast and accurate computation of orbital collision probability for short-term encounters R Serra, D Arzelier, M Joldes, JB Lasserre, A Rondepierre, B Salvy Journal of Guidance, Control, and Dynamics 39 (5), 1009-1021, 2016 | 91 | 2016 |
| Algorithmes efficaces en calcul formel A Bostan, F Chyzak, M Giusti, R Lebreton, G Lecerf, B Salvy, É Schost Published by the authors, 2017 | 86 | 2017 |
| Differential equations for algebraic functions A Bostan, F Chyzak, B Salvy, G Lecerf, É Schost Proceedings of the 2007 international symposium on Symbolic and algebraic …, 2007 | 82 | 2007 |
| On the non-holonomic character of logarithms, powers, and the n-th prime function P Flajolet, S Gerhold, B Salvy arXiv preprint math/0501379, 2005 | 78 | 2005 |
| Creative telescoping for rational functions using the griffiths: dwork method A Bostan, P Lairez, B Salvy Proceedings of the 38th international symposium on symbolic and algebraic …, 2013 | 77 | 2013 |
