@inproceedings{Chen2024ISSAC,
author = {Chen, Shaoshi and Feng, Ruyong and Kauers, Manuel and Li, Xiuyun},
title = {Parallel Summation in P-Recursive Extensions},
year = {2024},
isbn = {9798400706967},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3666000.3669678},
doi = {10.1145/3666000.3669678},
abstract = {We propose investigating a summation analog of the paradigm for parallel integration. We make some first steps towards an indefinite summation method applicable to summands that rationally depend on the summation index and a P-recursive sequence and its shifts. There is a distinction between so-called normal and so-called special polynomials. Under the assumption that the corresponding difference field has no unnatural constants, we are able to predict the normal polynomials appearing in the denominator of a potential closed form. We can also handle the numerator. Our method is incomplete so far as we cannot predict the special polynomials appearing in the denominator. However, we do have some structural results about special polynomials for the setting under consideration.},
booktitle = {Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation},
pages = {82–90},
numpages = {9},
keywords = {difference rings, symbolic summation},
location = {Raleigh, NC, USA},
series = {ISSAC '24}
}