Converging to Gosper's algorithm

DOI10.1016/J.AAM.2007.11.004zbMATH Open1173.33316arXiv0711.3386OpenAlexW2093552810MaRDI QIDQ950412FDOQ950412

Husam L. Saad, William Y. C. Chen, Peter Paule

Publication date: 22 October 2008

Published in: Advances in Applied Mathematics (Search for Journal in Brave)

Abstract: Given two polynomials, we find a convergence property of the GCD of the rising factorial and the falling factorial. Based on this property, we present a unified approach to computing the universal denominators as given by Gosper's algorithm and Abramov's algorithm for finding rational solutions to linear difference equations with polynomial coefficients.

Full work available at URL: https://arxiv.org/abs/0711.3386

zbMATH Keywords

dispersionGosper's algorithmuniversal denominatorAbramov's algorithm

Mathematics Subject Classification ID

Combinatorial identities, bijective combinatorics (05A19) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A holonomic systems approach to special functions identities
• Decision procedure for indefinite hypergeometric summation
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• Hypergeometric solutions of linear recurrences with polynomial coefficients
• The method of creative telescoping
• A fast algorithm for proving terminating hypergeometric identities
• Low complexity algorithms for linear recurrences
• Greatest factorial factorization and symbolic summation
• Special formal series solutions of linear operator equations
• A generalization of Gosper's algorithm
• Improvement of the degree setting in Gosper's algorithm

Cited In (5)

• Denominator bounds for higher order systems of linear recurrence equations
• Resultant-Free Computation of Indefinite Hyperexponential Integrals
• An algorithm for deciding the summability of bivariate rational functions
• Minimal universal denominators for linear difference equations
• Creative telescoping for hypergeometric double sums

Uses Software

• DiffTools

This page was built for publication: Converging to Gosper's algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q950412)