Bruno Salvy - RankMe

130 papers A* 2A 2B 22Misc 1Journal 98Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Faster modular composition using two relation matrices. CoRR Vincent Neiger, Bruno Salvy, Éric Schost, Gilles Villard
2026	J	`jnl`	Positivity proofs for linear recurrences through contracted cones. J. Symb. Comput. Alaa Ibrahim, Bruno Salvy
2025	J	`jnl`	Effective Asymptotics of Combinatorial Systems. CoRR Carine Pivoteau, Bruno Salvy
2025	J	`jnl`	On deciding transcendence of power series. CoRR Alin Bostan, Bruno Salvy, Michael F. Singer
2024	J	`jnl`	Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function. CoRR Jean-Michel Muller, Bruno Salvy
2024	J	`jnl`	Faster Modular Composition. J. ACM Vincent Neiger, Bruno Salvy, Éric Schost, Gilles Villard
2024	J	`jnl`	Optimal Experimental Design for Partially Observable Pure Birth Processes. CoRR Ali Eshragh, Matthew P. Skerritt, Bruno Salvy, Thomas McCallum
2024	A*	`conf`	Positivity Certificates for Linear Recurrences. SODA Alaa Ibrahim, Bruno Salvy
2024	J	`jnl`	Positivity Proofs for Linear Recurrences through Contracted Cones. CoRR Alaa Ibrahim, Bruno Salvy
2024	J	`jnl`	Reduction-based creative telescoping for definite summation of D-finite functions. J. Symb. Comput. Hadrien Brochet, Bruno Salvy
2023	J	`jnl`	Minimization of differential equations and algebraic values of 𝐸-functions. Math. Comput. Alin Bostan, Tanguy Rivoal, Bruno Salvy
2023	J	`jnl`	Positivity certificates for linear recurrences. CoRR Alaa Ibrahim, Bruno Salvy
2023	J	`jnl`	Reduction-Based Creative Telescoping for Definite Summation of D-finite Functions. CoRR Hadrien Brochet, Bruno Salvy
2022	J	`jnl`	Absolute Root Separation. Exp. Math. Yann Bugeaud, Andrej Dujella, Wenjie Fang, Tomislav Pejkovic, Bruno Salvy
2022	J	`jnl`	Minimization of differential equations and algebraic values of E-functions. CoRR Alin Bostan, Tanguy Rivoal, Bruno Salvy
2021	J	`jnl`	Effective coefficient asymptotics of multivariate rational functions via semi-numerical algorithms for polynomial systems. J. Symb. Comput. Stephen Melczer, Bruno Salvy
2021	J	`jnl`	Faster Modular Composition. CoRR Vincent Neiger, Bruno Salvy, Éric Schost, Gilles Villard
2020	J	`jnl`	Computation of Tight Enclosures for Laplacian Eigenvalues. CoRR Joel Dahne, Bruno Salvy
2020	J	`jnl`	Computation of Tight Enclosures for Laplacian Eigenvalues. SIAM J. Sci. Comput. Joel Dahne, Bruno Salvy
2019	J	`jnl`	Absolute root separation. CoRR Yann Bugeaud, Andrej Dujella, Wenjie Fang, Tomislav Pejkovic, Bruno Salvy
2019	J	`jnl`	Effective Coefficient Asymptotics of Multivariate Rational Functions via Semi-Numerical Algorithms for Polynomial Systems. CoRR Stephen Melczer, Bruno Salvy
2019	J	`jnl`	Linear Differential Equations as a Data Structure. Found. Comput. Math. Bruno Salvy
2018	B	`conf`	Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions. ISSAC Alin Bostan, Frédéric Chyzak, Pierre Lairez, Bruno Salvy
2018	J	`jnl`	Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions. CoRR Alin Bostan, Frédéric Chyzak, Pierre Lairez, Bruno Salvy
2018	J	`jnl`	Linear Differential Equations as a Data-Structure. CoRR Bruno Salvy
2018	A	`conf`	Recursive Combinatorial Structures: Enumeration, Probabilistic Analysis and Random Generation. STACS Bruno Salvy
2017	J	`jnl`	Absolute Real Root Separation. Am. Math. Mon. Yann Bugeaud, Andrej Dujella, Tomislav Pejkovic, Bruno Salvy
2017	J	`jnl`	Algebraic diagonals and walks: Algorithms, bounds, complexity. J. Symb. Comput. Alin Bostan, Louis Dumont, Bruno Salvy
2017	J	`jnl`	Multiple binomial sums. J. Symb. Comput. Alin Bostan, Pierre Lairez, Bruno Salvy
2016	J	`jnl`	Efficient Algorithms for Mixed Creative Telescoping. CoRR Alin Bostan, Louis Dumont, Bruno Salvy
2016	B	`conf`	Efficient Algorithms for Mixed Creative Telscoping. ISSAC Alin Bostan, Louis Dumont, Bruno Salvy
2016	B	`conf`	Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables. ISSAC Stephen Melczer, Bruno Salvy
2016	J	`jnl`	Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables. CoRR Stephen Melczer, Bruno Salvy
2015	B	`conf`	Algebraic Diagonals and Walks. ISSAC Alin Bostan, Louis Dumont, Bruno Salvy
2015	J	`jnl`	Algebraic Diagonals and Walks. CoRR Alin Bostan, Louis Dumont, Bruno Salvy
2015	J	`jnl`	Algebraic Diagonals and Walks: Algorithms, Bounds, Complexity. CoRR Alin Bostan, Louis Dumont, Bruno Salvy
2015	J	`jnl`	Formulas for Continued Fractions. An Automated Guess and Prove Approach. CoRR Sébastien Maulat, Bruno Salvy
2015	B	`conf`	Formulas for Continued Fractions: An Automated Guess and Prove Approach. ISSAC Sébastien Maulat, Bruno Salvy
2015	J	`jnl`	Multiple binomial sums. CoRR Alin Bostan, Pierre Lairez, Bruno Salvy
2015	J	`jnl`	On the complexity of the F5 Gröbner basis algorithm. J. Symb. Comput. Magali Bardet, Jean-Charles Faugère, Bruno Salvy
2014	J	`jnl`	Non-D-finite excursions in the quarter plane. J. Comb. Theory A Alin Bostan, Kilian Raschel, Bruno Salvy
2013	J	`jnl`	Creative telescoping for rational functions using the Griffiths-Dwork method CoRR Alin Bostan, Pierre Lairez, Bruno Salvy
2013	B	`conf`	Creative telescoping for rational functions using the griffiths: dwork method. ISSAC Alin Bostan, Pierre Lairez, Bruno Salvy
2013	J	`jnl`	On the Complexity of the F5 Gröbner basis Algorithm. CoRR Magali Bardet, Jean-Charles Faugère, Bruno Salvy
2013	J	`jnl`	On the complexity of solving quadratic Boolean systems. J. Complex. Magali Bardet, Jean-Charles Faugère, Bruno Salvy, Pierre-Jean Spaenlehauer
2012	J	`jnl`	Algorithms for combinatorial structures: Well-founded systems and Newton iterations. J. Comb. Theory A Carine Pivoteau, Bruno Salvy, Michèle Soria
2012	J	`jnl`	Fast Computation of Common Left Multiples of Linear Ordinary Differential Operators CoRR Alin Bostan, Frédéric Chyzak, Ziming Li, Bruno Salvy
2012	B	`conf`	Fast computation of common left multiples of linear ordinary differential operators. ISSAC Alin Bostan, Frédéric Chyzak, Bruno Salvy, Ziming Li
2012	J	`jnl`	Philippe Flajolet, the Father of Analytic Combinatorics. Algorithmica Bruno Salvy, Bob Sedgewick, Michèle Soria, Wojciech Szpankowski, Brigitte Vallée
2012	J	`jnl`	Power Series Solutions of Singular (q)-Differential Equations CoRR Alin Bostan, Muhammad F. I. Chowdhury, Romain Lebreton, Bruno Salvy, Éric Schost
2012	B	`conf`	Power series solutions of singular (q)-differential equations. ISSAC Alin Bostan, Bruno Salvy, Muhammad F. I. Chowdhury, Éric Schost, Romain Lebreton
2011	J	`jnl`	Fast computation of common left multiples of linear ordinary differential operators. ACM Commun. Comput. Algebra Alin Bostan, Frédéric Chyzak, Ziming Li, Bruno Salvy
2011	J	`jnl`	In Memoriam: Philippe Flajolet The Father of Analytic Combinatorics. Random Struct. Algorithms Bruno Salvy
2011	J	`jnl`	In memoriam: Philippe Flajolet, the father of analytic combinatorics. RAIRO Theor. Informatics Appl. Bruno Salvy, Robert Sedgewick, Michèle Soria, Wojciech Szpankowski, Brigitte Vallée
2011	J	`jnl`	Obituary. Philippe Flajolet. J. Symb. Comput. Bruno Salvy, Bob Sedgewick, Michèle Soria, Wojciech Szpankowski, Brigitte Vallée
2011	J	`jnl`	On Kahan's Rules for Determining Branch Cuts CoRR Frédéric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy
2011	Misc	`conf`	On Kahan's Rules for Determining Branch Cuts. SYNASC Frédéric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy
2011	J	`jnl`	On the Complexity of Solving Quadratic Boolean Systems CoRR Magali Bardet, Jean-Charles Faugère, Bruno Salvy, Pierre-Jean Spaenlehauer
2011	J	`jnl`	Philippe Flajolet (1948-2011). Bull. EATCS Bruno Salvy, Robert Sedgewick, Michèle Soria, Wojciech Szpankowski, Brigitte Vallée
2011	J	`jnl`	Philippe Flajolet 1 December 1948 - 22 March 2011. Comb. Probab. Comput. Bruno Salvy, Bob Sedgewick, Michèle Soria, Wojciech Szpankowski, Brigitte Vallée
2011	J	`jnl`	Philippe Flajolet, the Father of Analytic Combinatorics. Theor. Comput. Sci. Bruno Salvy, Bob Sedgewick, Michèle Soria, Wojciech Szpankowski, Brigitte Vallée
2011	J	`jnl`	Philippe Flajolet: the father of analytic combinatorics. ACM Commun. Comput. Algebra Bruno Salvy, Bob Sedgewick, Michèle Soria, Wojciech Szpankowski, Brigitte Vallée
2011	J	`jnl`	Philippe flajolet, the father of analytic combinatorics. ACM Trans. Algorithms Bruno Salvy, Bob Sedgewick, Michèle Soria, Wojciech Szpankowski, Brigitte Vallée
2011	J	`jnl`	Simultaneous modular reduction and Kronecker substitution for small finite fields. J. Symb. Comput. Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy
2010	J	`jnl`	Effective bounds for P-recursive sequences. J. Symb. Comput. Marc Mezzarobba, Bruno Salvy
2010	J	`jnl`	Lindelöf Representations and (Non-)Holonomic Sequences. Electron. J. Comb. Philippe Flajolet, Stefan Gerhold, Bruno Salvy
2010	—	`conf`	Newton Iteration: From Numerics to Combinatorics, and Back. ANALCO Bruno Salvy
2010	—	`conf`	The Dynamic Dictionary of Mathematical Functions (DDMF). ICMS Alexandre Benoît, Frédéric Chyzak, Alexis Darrasse, Stefan Gerhold, Marc Mezzarobba, Bruno Salvy
2010	—	`conf`	The Dynamic Dictionary of Mathematical Functions. AISC/MKM/Calculemus Bruno Salvy
2009	J	`jnl`	A Non-Holonomic Systems Approach to Special Function Identities CoRR Frédéric Chyzak, Manuel Kauers, Bruno Salvy
2009	B	`conf`	A non-holonomic systems approach to special function identities. ISSAC Frédéric Chyzak, Manuel Kauers, Bruno Salvy
2009	J	`jnl`	Asymptotics of Canonical and Saturated RNA Secondary Structures. J. Bioinform. Comput. Biol. Peter Clote, Evangelos Kranakis, Danny Krizanc, Bruno Salvy
2009	J	`jnl`	Chebyshev Expansions for Solutions of Linear Differential Equations CoRR Alexandre Benoît, Bruno Salvy
2009	B	`conf`	Chebyshev expansions for solutions of linear differential equations. ISSAC Alexandre Benoît, Bruno Salvy
2009	J	`jnl`	Effective Bounds for P-Recursive Sequences CoRR Marc Mezzarobba, Bruno Salvy
2009	J	`jnl`	Generating functions of Chebyshev-like polynomials CoRR Alin Bostan, Bruno Salvy, Khang Tran
2008	J	`jnl`	A Proof of a Recurrence for Bessel Moments. Exp. Math. Jonathan M. Borwein, Bruno Salvy
2008	J	`jnl`	Compressed Modular Matrix Multiplication CoRR Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy
2008	J	`jnl`	Fast Conversion Algorithms for Orthogonal Polynomials CoRR Alin Bostan, Bruno Salvy, Éric Schost
2008	J	`jnl`	Fast algorithms for computing isogenies between elliptic curves. Math. Comput. Alin Bostan, François Morain, Bruno Salvy, Éric Schost
2008	J	`jnl`	Power Series Composition and Change of Basis CoRR Alin Bostan, Bruno Salvy, Éric Schost
2008	B	`conf`	Power series composition and change of basis. ISSAC Alin Bostan, Bruno Salvy, Éric Schost
2008	J	`jnl`	Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields CoRR Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy
2007	J	`jnl`	A Proof of a Recursion for Bessel Moments CoRR Jonathan M. Borwein, Bruno Salvy
2007	J	`jnl`	Differential Equations for Algebraic Functions CoRR Alin Bostan, Frédéric Chyzak, Bruno Salvy, Grégoire Lecerf, Éric Schost
2007	B	`conf`	Differential equations for algebraic functions. ISSAC Alin Bostan, Frédéric Chyzak, Bruno Salvy, Grégoire Lecerf, Éric Schost
2007	A*	`conf`	Fast computation of power series solutions of systems of differential equations. SODA Alin Bostan, Frédéric Chyzak, François Ollivier, Bruno Salvy, Éric Schost, Alexandre Sedoglavic
2007	J	`jnl`	On Location and Approximation of Clusters of Zeros: Case of Embedding Dimension One. Found. Comput. Math. Marc Giusti, Grégoire Lecerf, Bruno Salvy, Jean-Claude Yakoubsohn
2006	J	`jnl`	Fast algorithms for computing isogenies between elliptic curves CoRR Alin Bostan, Bruno Salvy, François Morain, Éric Schost
2006	J	`jnl`	Fast computation of power series solutions of systems of differential equations CoRR Alin Bostan, Frédéric Chyzak, François Ollivier, Bruno Salvy, Éric Schost, Alexandre Sedoglavic
2006	J	`jnl`	Fast computation of special resultants. J. Symb. Comput. Alin Bostan, Philippe Flajolet, Bruno Salvy, Éric Schost
2006	J	`jnl`	Low Complexity Algorithms for Linear Recurrences CoRR Alin Bostan, Frédéric Chyzak, Bruno Salvy, Thomas Cluzeau
2006	B	`conf`	Low complexity algorithms for linear recurrences. ISSAC Alin Bostan, Frédéric Chyzak, Bruno Salvy, Thomas Cluzeau
2005	B	`conf`	D-finiteness: algorithms and applications. ISSAC Bruno Salvy
2005	J	`jnl`	Effective scalar products of D-finite symmetric functions. J. Comb. Theory A Frédéric Chyzak, Marni Mishna, Bruno Salvy
2005	B	`conf`	Fast algorithms for polynomial solutions of linear differential equations. ISSAC Alin Bostan, Thomas Cluzeau, Bruno Salvy
2005	J	`jnl`	On Location and Approximation of Clusters of Zeros of Analytic Functions. Found. Comput. Math. Marc Giusti, Grégoire Lecerf, Bruno Salvy, Jean-Claude Yakoubsohn
2005	J	`jnl`	On the Non-Holonomic Character of Logarithms, Powers, and the nth Prime Function. Electron. J. Comb. Philippe Flajolet, Stefan Gerhold, Bruno Salvy
2004	J	`jnl`	Airy Phenomena and Analytic Combinatorics of Connected Graphs. Electron. J. Comb. Philippe Flajolet, Bruno Salvy, Gilles Schaeffer
2004	B	`conf`	Complexity issues in bivariate polynomial factorization. ISSAC Alin Bostan, Grégoire Lecerf, Bruno Salvy, Éric Schost, B. Wiebelt
2003	B	`conf`	ESF: an automatically generated encyclopedia of special functions. ISSAC Ludovic Meunier, Bruno Salvy
2003	J	`jnl`	Fast Algorithms for Zero-Dimensional Polynomial Systems using Duality. Appl. Algebra Eng. Commun. Comput. Alin Bostan, Bruno Salvy, Éric Schost
2002	J	`jnl`	Motif statistics. Theor. Comput. Sci. Pierre Nicodème, Bruno Salvy, Philippe Flajolet
2002	J	`jnl`	Polynomial ideals for sandpiles and their Gröbner bases. Theor. Comput. Sci. Robert Cori, Dominique Rossin, Bruno Salvy
2001	J	`jnl`	A Gröbner Free Alternative for Polynomial System Solving. J. Complex. Marc Giusti, Grégoire Lecerf, Bruno Salvy
2000	J	`jnl`	The Projective Noether Maple Package: Computing the Dimension of a Projective Variety. J. Symb. Comput. Marc Giusti, Klemens Hägele, Grégoire Lecerf, Joël Marchand, Bruno Salvy
1999	A	`conf`	Motif Statistics. ESA Pierre Nicodème, Bruno Salvy, Philippe Flajolet
1999	B	`ed.`	Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, ISSAC '99, Vancouver, B.C., Canada, July 29-31, 1999 ISSAC Keith O. Geddes, Bruno Salvy, Samuel S. Dooley
1999	J	`jnl`	Symbolic Asymptotics: Multiseries of Inverse Functions. J. Symb. Comput. Bruno Salvy, John Shackell
1998	J	`jnl`	Euler Sums and Contour Integral Representations. Exp. Math. Philippe Flajolet, Bruno Salvy
1998	J	`jnl`	Non-Commutative Elimination in Ore Algebras Proves Multivariate Identities. J. Symb. Comput. Frédéric Chyzak, Bruno Salvy
1998	J	`jnl`	Symbolic Asymptotics: Functions of Two Variables, Implicit Functions. J. Symb. Comput. Bruno Salvy, John Shackell
1997	J	`jnl`	On integer Chebyshev polynomials. Math. Comput. Laurent Habsieger, Bruno Salvy
1997	J	`jnl`	The SIGSAM challenges: symbolic asymptotics in practice. SIGSAM Bull. Philippe Flajolet, Bruno Salvy
1996	B	`conf`	Asymptotic Expansions of exp-log Functions. ISSAC Daniel Richardson, Bruno Salvy, John Shackell, Joris van der Hoeven
1996	J	`jnl`	Effective asymptotics of linear recurrences with rational coefficients. Discret. Math. Xavier Gourdon, Bruno Salvy
1995	J	`jnl`	Asymptotic Forms and Algebraic Differential Equations. J. Symb. Comput. John Shackell, Bruno Salvy
1995	J	`jnl`	Computer Algebra Libraries for Combinatorial Structures. J. Symb. Comput. Philippe Flajolet, Bruno Salvy
1995	J	`jnl`	Hypergeometrics and the Cost Structure of Quadtrees. Random Struct. Algorithms Philippe Flajolet, Gilbert Labelle, Louise Laforest, Bruno Salvy
1994	J	`jnl`	Fast Computation of Some Asymptotic Functional Inverses. J. Symb. Comput. Bruno Salvy
1994	J	`jnl`	GFUN: a Maple package for the manipulation of generating and holonomic functions in one variable. ACM Trans. Math. Softw. Bruno Salvy, Paul Zimmermann
1993	J	`jnl`	A Finite Sum of Products of Binomial Coefficients (C. C. Grosjean). SIAM Rev. Philippe Flajolet, Bruno Salvy, Helmut Prodinger
1993	J	`jnl`	Efficient programming in Maple: a case study. SIGSAM Bull. Bruno Salvy
1993	B	`conf`	Finding all Hypergeometric Solutions of Linear Differential Equations. ISSAC Marko Petkovsek, Bruno Salvy
1993	B	`conf`	Full Partial Fraction Decomposition of Rational Functions. ISSAC Manuel Bronstein, Bruno Salvy
1992	B	`conf`	Asymptotic Expansions of Functional Inverses. ISSAC Bruno Salvy, John Shackell
1992	—	`conf`	Varieties of Increasing Trees. CAAP François Bergeron, Philippe Flajolet, Bruno Salvy
1991	J	`jnl`	Automatic Average-Case Analysis of Algorithm. Theor. Comput. Sci. Philippe Flajolet, Bruno Salvy, Paul Zimmermann
1991	J	`jnl`	Examples of automatic asymptotic expansions. SIGSAM Bull. Bruno Salvy
1988	—	`conf`	Lambda - Upsilon - Omega: An Assistant Algorithms Analyzer. AAECC Philippe Flajolet, Bruno Salvy, Paul Zimmermann