Bruno Salvy

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 28

Top Venues

Publications

Ali Eshragh, Matthew P. Skerritt, Bruno Salvy, Thomas McCallum
Optimal Experimental Design for Partially Observable Pure Birth Processes. CoRR (2024)
Jean-Michel Muller, Bruno Salvy
Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function. CoRR (2024)
Vincent Neiger, Bruno Salvy, Éric Schost, Gilles Villard
Faster Modular Composition. J. ACM 71 (2) (2024)
Hadrien Brochet, Bruno Salvy
Reduction-based creative telescoping for definite summation of D-finite functions. J. Symb. Comput. 125 (2024)
Alaa Ibrahim, Bruno Salvy
Positivity Certificates for Linear Recurrences. SODA (2024)
Hadrien Brochet, Bruno Salvy
Reduction-Based Creative Telescoping for Definite Summation of D-finite Functions. CoRR (2023)
Alaa Ibrahim, Bruno Salvy
Positivity certificates for linear recurrences. CoRR (2023)
Alin Bostan, Tanguy Rivoal, Bruno Salvy
Minimization of differential equations and algebraic values of 𝐸-functions. Math. Comput. 93 (347) (2023)
Alin Bostan, Tanguy Rivoal, Bruno Salvy
Minimization of differential equations and algebraic values of E-functions. CoRR (2022)
Yann Bugeaud, Andrej Dujella, Wenjie Fang, Tomislav Pejkovic, Bruno Salvy
Absolute Root Separation. Exp. Math. 31 (3) (2022)
Stephen Melczer, Bruno Salvy
Effective coefficient asymptotics of multivariate rational functions via semi-numerical algorithms for polynomial systems. J. Symb. Comput. 103 (2021)
Vincent Neiger, Bruno Salvy, Éric Schost, Gilles Villard
Faster Modular Composition. CoRR (2021)
Joel Dahne, Bruno Salvy
Computation of Tight Enclosures for Laplacian Eigenvalues. CoRR (2020)
Joel Dahne, Bruno Salvy
Computation of Tight Enclosures for Laplacian Eigenvalues. SIAM J. Sci. Comput. 42 (5) (2020)
Stephen Melczer, Bruno Salvy
Effective Coefficient Asymptotics of Multivariate Rational Functions via Semi-Numerical Algorithms for Polynomial Systems. CoRR (2019)
Yann Bugeaud, Andrej Dujella, Wenjie Fang, Tomislav Pejkovic, Bruno Salvy
Absolute root separation. CoRR (2019)
Bruno Salvy
Linear Differential Equations as a Data Structure. Found. Comput. Math. 19 (5) (2019)
Bruno Salvy
Linear Differential Equations as a Data-Structure. CoRR (2018)
Alin Bostan, Frédéric Chyzak, Pierre Lairez, Bruno Salvy
Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions. ISSAC (2018)
Bruno Salvy
Recursive Combinatorial Structures: Enumeration, Probabilistic Analysis and Random Generation. STACS (2018)
Alin Bostan, Frédéric Chyzak, Pierre Lairez, Bruno Salvy
Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions. CoRR (2018)
Alin Bostan, Pierre Lairez, Bruno Salvy
Multiple binomial sums. J. Symb. Comput. 80 (2017)
Yann Bugeaud, Andrej Dujella, Tomislav Pejkovic, Bruno Salvy
Absolute Real Root Separation. Am. Math. Mon. 124 (10) (2017)
Alin Bostan, Louis Dumont, Bruno Salvy
Algebraic diagonals and walks: Algorithms, bounds, complexity. J. Symb. Comput. 83 (2017)
Stephen Melczer, Bruno Salvy
Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables. CoRR (2016)
Stephen Melczer, Bruno Salvy
Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables. ISSAC (2016)
Alin Bostan, Louis Dumont, Bruno Salvy
Efficient Algorithms for Mixed Creative Telescoping. CoRR (2016)
Alin Bostan, Louis Dumont, Bruno Salvy
Efficient Algorithms for Mixed Creative Telscoping. ISSAC (2016)
Magali Bardet, Jean-Charles Faugère, Bruno Salvy
On the complexity of the F5 Gröbner basis algorithm. J. Symb. Comput. 70 (2015)
Alin Bostan, Louis Dumont, Bruno Salvy
Algebraic Diagonals and Walks. ISSAC (2015)
Alin Bostan, Louis Dumont, Bruno Salvy
Algebraic Diagonals and Walks: Algorithms, Bounds, Complexity. CoRR (2015)
Alin Bostan, Pierre Lairez, Bruno Salvy
Multiple binomial sums. CoRR (2015)
Sébastien Maulat, Bruno Salvy
Formulas for Continued Fractions: An Automated Guess and Prove Approach. ISSAC (2015)
Alin Bostan, Louis Dumont, Bruno Salvy
Algebraic Diagonals and Walks. CoRR (2015)
Sébastien Maulat, Bruno Salvy
Formulas for Continued Fractions. An Automated Guess and Prove Approach. CoRR (2015)
Alin Bostan, Kilian Raschel, Bruno Salvy
Non-D-finite excursions in the quarter plane. J. Comb. Theory, Ser. A 121 (2014)
Magali Bardet, Jean-Charles Faugère, Bruno Salvy, Pierre-Jean Spaenlehauer
On the complexity of solving quadratic Boolean systems. J. Complex. 29 (1) (2013)
Alin Bostan, Pierre Lairez, Bruno Salvy
Creative telescoping for rational functions using the griffiths: dwork method. ISSAC (2013)
Alin Bostan, Pierre Lairez, Bruno Salvy
Creative telescoping for rational functions using the Griffiths-Dwork method CoRR (2013)
Magali Bardet, Jean-Charles Faugère, Bruno Salvy
On the Complexity of the F5 Gröbner basis Algorithm. CoRR (2013)
Carine Pivoteau, Bruno Salvy, Michèle Soria
Algorithms for combinatorial structures: Well-founded systems and Newton iterations. J. Comb. Theory, Ser. A 119 (8) (2012)
Alin Bostan, Frédéric Chyzak, Ziming Li, Bruno Salvy
Fast Computation of Common Left Multiples of Linear Ordinary Differential Operators CoRR (2012)
Alin Bostan, Bruno Salvy, Muhammad F. I. Chowdhury, Éric Schost, Romain Lebreton
Power series solutions of singular (q)-differential equations. ISSAC (2012)
Alin Bostan, Frédéric Chyzak, Bruno Salvy, Ziming Li
Fast computation of common left multiples of linear ordinary differential operators. ISSAC (2012)
Alin Bostan, Muhammad F. I. Chowdhury, Romain Lebreton, Bruno Salvy, Éric Schost
Power Series Solutions of Singular (q)-Differential Equations CoRR (2012)
Bruno Salvy, Bob Sedgewick, Michèle Soria, Wojciech Szpankowski, Brigitte Vallée
Philippe Flajolet, the Father of Analytic Combinatorics. Algorithmica 62 (1-2) (2012)
Bruno Salvy, Robert Sedgewick, Michèle Soria, Wojciech Szpankowski, Brigitte Vallée
Philippe Flajolet (1948-2011). Bull. EATCS 104 (2011)
Bruno Salvy, Bob Sedgewick, Michèle Soria, Wojciech Szpankowski, Brigitte Vallée
Philippe Flajolet: the father of analytic combinatorics. ACM Commun. Comput. Algebra 45 (1/2) (2011)
Bruno Salvy, Bob Sedgewick, Michèle Soria, Wojciech Szpankowski, Brigitte Vallée
Philippe flajolet, the father of analytic combinatorics. ACM Trans. Algorithms 7 (4) (2011)
Alin Bostan, Frédéric Chyzak, Ziming Li, Bruno Salvy
Fast computation of common left multiples of linear ordinary differential operators. ACM Commun. Comput. Algebra 45 (1/2) (2011)
Frédéric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy
On Kahan's Rules for Determining Branch Cuts CoRR (2011)
Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy
Simultaneous modular reduction and Kronecker substitution for small finite fields. J. Symb. Comput. 46 (7) (2011)
Bruno Salvy
In Memoriam: Philippe Flajolet The Father of Analytic Combinatorics. Random Struct. Algorithms 39 (1) (2011)
Frédéric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy
On Kahan's Rules for Determining Branch Cuts. SYNASC (2011)
Bruno Salvy, Robert Sedgewick, Michèle Soria, Wojciech Szpankowski, Brigitte Vallée
In memoriam: Philippe Flajolet, the father of analytic combinatorics. RAIRO Theor. Informatics Appl. 45 (4) (2011)
Bruno Salvy, Bob Sedgewick, Michèle Soria, Wojciech Szpankowski, Brigitte Vallée
Obituary. Philippe Flajolet. J. Symb. Comput. 46 (9) (2011)
Bruno Salvy, Bob Sedgewick, Michèle Soria, Wojciech Szpankowski, Brigitte Vallée
Philippe Flajolet 1 December 1948 - 22 March 2011. Comb. Probab. Comput. 20 (5) (2011)
Bruno Salvy, Bob Sedgewick, Michèle Soria, Wojciech Szpankowski, Brigitte Vallée
Philippe Flajolet, the Father of Analytic Combinatorics. Theor. Comput. Sci. 412 (35) (2011)
Magali Bardet, Jean-Charles Faugère, Bruno Salvy, Pierre-Jean Spaenlehauer
On the Complexity of Solving Quadratic Boolean Systems CoRR (2011)
Philippe Flajolet, Stefan Gerhold, Bruno Salvy
Lindelöf Representations and (Non-)Holonomic Sequences. Electron. J. Comb. 17 (1) (2010)
Alexandre Benoît, Frédéric Chyzak, Alexis Darrasse, Stefan Gerhold, Marc Mezzarobba, Bruno Salvy
The Dynamic Dictionary of Mathematical Functions (DDMF). ICMS (2010)
Marc Mezzarobba, Bruno Salvy
Effective bounds for P-recursive sequences. J. Symb. Comput. 45 (10) (2010)
Bruno Salvy
Newton Iteration: From Numerics to Combinatorics, and Back. ANALCO (2010)
Bruno Salvy
The Dynamic Dictionary of Mathematical Functions. AISC/MKM/Calculemus (2010)
Alexandre Benoît, Bruno Salvy
Chebyshev Expansions for Solutions of Linear Differential Equations CoRR (2009)
Frédéric Chyzak, Manuel Kauers, Bruno Salvy
A non-holonomic systems approach to special function identities. ISSAC (2009)
Marc Mezzarobba, Bruno Salvy
Effective Bounds for P-Recursive Sequences CoRR (2009)
Alin Bostan, Bruno Salvy, Khang Tran
Generating functions of Chebyshev-like polynomials CoRR (2009)
Alexandre Benoît, Bruno Salvy
Chebyshev expansions for solutions of linear differential equations. ISSAC (2009)
Peter Clote, Evangelos Kranakis, Danny Krizanc, Bruno Salvy
Asymptotics of Canonical and Saturated RNA Secondary Structures. J. Bioinform. Comput. Biol. 7 (5) (2009)
Frédéric Chyzak, Manuel Kauers, Bruno Salvy
A Non-Holonomic Systems Approach to Special Function Identities CoRR (2009)
Alin Bostan, François Morain, Bruno Salvy, Éric Schost
Fast algorithms for computing isogenies between elliptic curves. Math. Comput. 77 (263) (2008)
Jonathan M. Borwein, Bruno Salvy
A Proof of a Recurrence for Bessel Moments. Exp. Math. 17 (2) (2008)
Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy
Compressed Modular Matrix Multiplication CoRR (2008)
Alin Bostan, Bruno Salvy, Éric Schost
Fast Conversion Algorithms for Orthogonal Polynomials CoRR (2008)
Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy
Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields CoRR (2008)
Alin Bostan, Bruno Salvy, Éric Schost
Power Series Composition and Change of Basis CoRR (2008)
Alin Bostan, Bruno Salvy, Éric Schost
Power series composition and change of basis. ISSAC (2008)
Marc Giusti, Grégoire Lecerf, Bruno Salvy, Jean-Claude Yakoubsohn
On Location and Approximation of Clusters of Zeros: Case of Embedding Dimension One. Found. Comput. Math. 7 (1) (2007)
Jonathan M. Borwein, Bruno Salvy
A Proof of a Recursion for Bessel Moments CoRR (2007)
Alin Bostan, Frédéric Chyzak, Bruno Salvy, Grégoire Lecerf, Éric Schost
Differential equations for algebraic functions. ISSAC (2007)
Alin Bostan, Frédéric Chyzak, François Ollivier, Bruno Salvy, Éric Schost, Alexandre Sedoglavic
Fast computation of power series solutions of systems of differential equations. SODA (2007)
Alin Bostan, Frédéric Chyzak, Bruno Salvy, Grégoire Lecerf, Éric Schost
Differential Equations for Algebraic Functions CoRR (2007)
Alin Bostan, Bruno Salvy, François Morain, Éric Schost
Fast algorithms for computing isogenies between elliptic curves CoRR (2006)
Alin Bostan, Frédéric Chyzak, Bruno Salvy, Thomas Cluzeau
Low Complexity Algorithms for Linear Recurrences CoRR (2006)
Alin Bostan, Frédéric Chyzak, Bruno Salvy, Thomas Cluzeau
Low complexity algorithms for linear recurrences. ISSAC (2006)
Alin Bostan, Frédéric Chyzak, François Ollivier, Bruno Salvy, Éric Schost, Alexandre Sedoglavic
Fast computation of power series solutions of systems of differential equations CoRR (2006)
Alin Bostan, Philippe Flajolet, Bruno Salvy, Éric Schost
Fast computation of special resultants. J. Symb. Comput. 41 (1) (2006)
Bruno Salvy
D-finiteness: algorithms and applications. ISSAC (2005)
Alin Bostan, Thomas Cluzeau, Bruno Salvy
Fast algorithms for polynomial solutions of linear differential equations. ISSAC (2005)
Frédéric Chyzak, Marni Mishna, Bruno Salvy
Effective scalar products of D-finite symmetric functions. J. Comb. Theory, Ser. A 112 (1) (2005)
Marc Giusti, Grégoire Lecerf, Bruno Salvy, Jean-Claude Yakoubsohn
On Location and Approximation of Clusters of Zeros of Analytic Functions. Found. Comput. Math. 5 (3) (2005)
Philippe Flajolet, Stefan Gerhold, Bruno Salvy
On the Non-Holonomic Character of Logarithms, Powers, and the nth Prime Function. Electron. J. Comb. 11 (2) (2005)
Philippe Flajolet, Bruno Salvy, Gilles Schaeffer
Airy Phenomena and Analytic Combinatorics of Connected Graphs. Electron. J. Comb. 11 (1) (2004)
Alin Bostan, Grégoire Lecerf, Bruno Salvy, Éric Schost, B. Wiebelt
Complexity issues in bivariate polynomial factorization. ISSAC (2004)
Alin Bostan, Bruno Salvy, Éric Schost
Fast Algorithms for Zero-Dimensional Polynomial Systems using Duality. Appl. Algebra Eng. Commun. Comput. 14 (4) (2003)
Ludovic Meunier, Bruno Salvy
ESF: an automatically generated encyclopedia of special functions. ISSAC (2003)
Pierre Nicodème, Bruno Salvy, Philippe Flajolet
Motif statistics. Theor. Comput. Sci. 287 (2) (2002)
Robert Cori, Dominique Rossin, Bruno Salvy
Polynomial ideals for sandpiles and their Gröbner bases. Theor. Comput. Sci. 276 (1-2) (2002)
Marc Giusti, Grégoire Lecerf, Bruno Salvy
A Gröbner Free Alternative for Polynomial System Solving. J. Complex. 17 (1) (2001)

Bruno Salvy.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bruno Salvy