Complete reductions can be built recursively in towers of Sigma*-extensions, yielding faster refined and parameterized telescoping algorithms for nested harmonic sums.
A Unified Reduction for Hypergeometric and q-Hypergeometric Creative Telescoping
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
We adapt the theory of normal and special polynomials from symbolic integration to the summation setting, and then built up a general framework embracing both the usual shift case and the $q$-shift case. In the context of this general framework, we develop a unified reduction algorithm, and subsequently a creative telescoping algorithm, applicable to both hypergeometric terms and their $q$-analogues. Our algorithms allow to split up the usual shift case and the $q$-shift case only when it is really necessary, and thus instantly reveal the intrinsic differences between these two cases. Computational experiments are also provided.
fields
cs.SC 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Telescoping Algorithms for $\Sigma^*$-Extensions via Complete Reductions
Complete reductions can be built recursively in towers of Sigma*-extensions, yielding faster refined and parameterized telescoping algorithms for nested harmonic sums.