Bivariate Extensions of Abramov's Algorithm for Rational Summation
Abstract
Abramov's algorithm enables us to decide whether a univariate rational function can be written as a difference of another rational function, which has been a fundamental algorithm for rational summation. In 2014, Chen and Singer generalized Abramov's algorithm to the case of rational functions in two ($q$-)discrete variables. In this paper we solve the remaining three mixed cases, which completes our recent project on bivariate extensions of Abramov's algorithm for rational summation.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2017
- DOI:
- 10.48550/arXiv.1706.09134
- arXiv:
- arXiv:1706.09134
- Bibcode:
- 2017arXiv170609134C
- Keywords:
-
- Computer Science - Symbolic Computation;
- 33F10;
- I.1.2
- E-Print:
- Dedicated to Professor Sergei A. Abramov on the occasion of his 70th birthday