Publications (31)
Linear Differential Equations as a Data-Structure
Bruno Salvy
Power Series Composition and Change of Basis
Alin Bostan, Bruno Salvy, Ãric Schost
Power Series Solutions of Singular (q)-Differential Equations
Alin Bostan, Muhammad F. I. Chowdhury, Romain Lebreton +2
Algebraic Diagonals and Walks
Alin Bostan, Louis Dumont, Bruno Salvy
Chebyshev Expansions for Solutions of Linear Differential Equations
Alexandre Benoit, Bruno Salvy
Effective Bounds for P-Recursive Sequences
Marc Mezzarobba, Bruno Salvy
Fast algorithms for computing isogenies between elliptic curves
Alin Bostan, Bruno Salvy, Francois Morain +1
A Non-Holonomic Systems Approach to Special Function Identities
Frédéric Chyzak, Manuel Kauers, Bruno Salvy
Absolute real root separation
Yann Bugeaud, Andrej Dujella, Tomislav Pejkovic +1
Formulas for Continued Fractions. An Automated Guess and Prove Approach
Sébastien Maulat, Bruno Salvy
Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields
Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy
A Proof of a Recursion for Bessel Moments
Jonathan M. Borwein, Bruno Salvy
Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables
Stephen Melczer, Bruno Salvy
Fast Computation of Common Left Multiples of Linear Ordinary Differential Operators
Alin Bostan, Frédéric Chyzak, Ziming Li +1
Non-D-finite excursions in the quarter plane
Alin Bostan, Kilian Raschel, Bruno Salvy
Differential Equations for Algebraic Functions
Alin Bostan, Frédéric Chyzak, Bruno Salvy +2
Effective Scalar Products for D-finite Symmetric Functions
Frédéric Chyzak, Marni Mishna, Bruno Salvy
Efficient Algorithms for Mixed Creative Telescoping
Alin Bostan, Louis Dumont, Bruno Salvy
On the Complexity of the F5 Gröbner basis Algorithm
Magali Bardet, Jean-Charles Faugère, Bruno Salvy
Algebraic Diagonals and Walks: Algorithms, Bounds, Complexity
Alin Bostan, Louis Dumont, Bruno Salvy
Low Complexity Algorithms for Linear Recurrences
Alin Bostan, Frédéric Chyzak, Bruno Salvy +1
On Kahan's Rules for Determining Branch Cuts
Frédéric Chyzak, James Davenport, Christoph Koutschan +1
Asymptotics of Canonical and Saturated RNA Secondary Structures
Peter Clote, Evangelos Kranakis, Danny Krizanc +1
Compressed Modular Matrix Multiplication
Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy
Generating functions of Chebyshev-like polynomials
Alin Bostan, Bruno Salvy, Khang Tran
Algorithms for Combinatorial Systems: Well-Founded Systems and Newton Iterations
Carine Pivoteau, Bruno Salvy, Michele Soria
On the non-holonomic character of logarithms, powers, and the n-th prime function
Philippe Flajolet, Stefan Gerhold, Bruno Salvy
Fast computation of power series solutions of systems of differential equations
Alin Bostan, Frédéric Chyzak, François Ollivier +3
Fast Conversion Algorithms for Orthogonal Polynomials
Alin Bostan, Bruno Salvy, Ãric Schost
Lindelöf Representations and (Non-)Holonomic Sequences
Philippe Flajolet, Stefan Gerhold, Bruno Salvy
On the Complexity of Solving Quadratic Boolean Systems
Magali Bardet, Jean-Charles Faugère, Bruno Salvy +1