Fast Algorithms for Refined Parameterized Telescoping in Difference Fields
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2013
- DOI:
- 10.48550/arXiv.1307.7887
- arXiv:
- arXiv:1307.7887
- Bibcode:
- 2013arXiv1307.7887S
- Keywords:
-
- Computer Science - Symbolic Computation
- E-Print:
- In the updated versions typos are removed and illustrative examples are inluced