Complete reductions can be built recursively in towers of Sigma*-extensions, yielding faster refined and parameterized telescoping algorithms for nested harmonic sums.
Fast Algorithms for Refined Parameterized Telescoping in Difference Fields
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
Parameterized telescoping (including telescoping and creative telescoping) and refined versions of it play a central role in the research area of symbolic summation. Karr introduced 1981 $\Pi\Sigma$-fields, a general class of difference fields, that enables one to consider this problem for indefinite nested sums and products covering as special cases, e.g., the ($q$--)hypergeometric case and their mixed versions. This survey article presents the available algorithms in the framework of $\Pi\Sigma$-extensions and elaborates new results concerning efficiency.
citation-role summary
background 1
citation-polarity summary
fields
cs.SC 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
background 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.