Follow
Bruno Salvy
Bruno Salvy
Verified email at inria.fr
Title
Cited by
Cited by
Year
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
5231994
Euler sums and contour integral representations
P Flajolet, B Salvy
Experimental Mathematics 7 (1), 15-35, 1998
3551998
A Gröbner free alternative for polynomial system solving
M Giusti, G Lecerf, B Salvy
Journal of complexity 17 (1), 154-211, 2001
3482001
Non-commutative elimination in Ore algebras proves multivariate identities
F Chyzak, B Salvy
Journal of Symbolic Computation 26 (2), 187-227, 1998
3321998
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
2862004
Varieties of increasing trees
F Bergeron, P Flajolet, B Salvy
CAAP'92: 17th Colloquium on Trees in Algebra and Programming Rennes, France …, 1992
2831992
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
275*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
2072015
Automatic average-case analysis of algorithms
P Flajolet, B Salvy, P Zimmermann
Theoretical Computer Science 79 (1), 37-109, 1991
1901991
Motif statistics
P Nicodeme, B Salvy, P Flajolet
Theoretical Computer Science 287 (2), 593-617, 2002
1812002
Fast algorithms for computing isogenies between elliptic curves
A Bostan, F Morain, B Salvy, É Schost
Mathematics of Computation 77 (263), 1755-1778, 2008
1352008
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
1262013
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
1072003
Fast computation of special resultants
A Bostan, P Flajolet, B Salvy, É Schost
Journal of Symbolic Computation 41 (1), 1-29, 2006
96*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
912014
Algorithmes efficaces en calcul formel
A Bostan, F Chyzak, M Giusti, R Lebreton, G Lecerf, B Salvy, É Schost
Published by the authors, 2017
812017
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
812016
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
792007
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
752005
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
732013
The system can't perform the operation now. Try again later.
Articles 1–20