Constructing minimal telescopers for rational functions in three discrete variables

Constructing minimal telescopers for rational functions in three discrete variables

We present a new algorithm for constructing minimal telescopers for rational functions in three discrete variables. This is the first discrete reduction-based algorithm that goes beyond the bivariate case. The termination of the algorithm is guaranteed by a known existence criterion of telescopers....

Full description

Bibliographic Details
Main Authors: Chen, S. (Author), Hou, Q.-H (Author), Huang, H. (Author), Labahn, G. (Author), Wang, R.-H (Author)
Format: Article
Language:English
Published: Academic Press Inc. 2022
Subjects:
% reductions
Abramov reduction
Bivariate
Computational experiment
Creative telescoping
Discrete variables
Important features
Minimal telescopers
Rational functions
Symbolic summation
Telescopes
Online Access:View Fulltext in Publisher
Description
Summary:We present a new algorithm for constructing minimal telescopers for rational functions in three discrete variables. This is the first discrete reduction-based algorithm that goes beyond the bivariate case. The termination of the algorithm is guaranteed by a known existence criterion of telescopers. Our approach has the important feature that it avoids the potentially costly computation of certificates. Computational experiments are also provided so as to illustrate the efficiency of our approach. © 2022 Elsevier Inc.
ISBN:01968858 (ISSN)
DOI:10.1016/j.aam.2022.102389

Similar Items