93 citations · 692 across the 41 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
math.CV2023
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…
cs.SC2023★ 1 cited
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…
cs.SC2023★ 3 cited
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…