93 citations · 692 across the 41 of their papers we have counts for
Showing 2023 · cs.SCShow all
2 papers · 2 filters
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…