93 citations · 692 across the 41 of their papers we have counts for
44 papers
General formulas for a class of Euler sums
David H Bailey, Ross McPhedran, Bruno Salvy
Let denote the th harmonic number. We present an easy-to-implement algorithm for the computation of explicit closed-form evaluations, in ter…
On deciding transcendence of power series
Alin Bostan, Bruno Salvy, Michael F. Singer
It is well known that algebraic power series are differentially finite (D-finite): they satisfy linear differential equations with polynomial coefficients. The converse problem---d…
Explicit maximal totally real embeddings
Nefton Pali, Bruno Salvy
This article is the continuation of the first named author work "On maximal totally real embeddings". For real analytic compact manifolds equipped with a covariant derivative opera…
Reduction-Based Creative Telescoping for Definite Summation of D-finite Functions
Hadrien Brochet, Bruno Salvy
Creative telescoping is an algorithmic method initiated by Zeilberger to compute definite sums by synthesizing summands that telescope, called certificates. We describe a creative…
Positivity certificates for linear recurrences
Alaa Ibrahim, Bruno Salvy
We consider linear recurrences with polynomial coefficients of Poincaré type and with a unique simple dominant eigenvalue. We give an algorithm that proves or disproves positivity…
Minimization of differential equations and algebraic values of -functions
Alin Bostan, Tanguy Rivoal, Bruno Salvy
A power series being given as the solution of a linear differential equation with appropriate initial conditions, minimization consists in finding a non-trivial linear differential…