Hypergeometric solutions of linear recurrences with polynomial coefficients

DOI10.1016/0747-7171(92)90038-6zbMath0761.11008OpenAlexW2119371075WikidataQ55880087 ScholiaQ55880087MaRDI QIDQ1199820

Marko Petkovsek

Publication date: 16 January 1993

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0747-7171(92)90038-6

zbMATH Keywords

algorithmhypergeometric solutionlinear recurrence with polynomial coefficients

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Exact enumeration problems, generating functions (05A15) Recurrences (11B37) Generalized hypergeometric series, ({}_pF_q) (33C20)

Related Items

A generalization of Gosper's algorithm, Formulas for generalized two-qubit separability probabilities, Symbolic conversion of holonomic functions to hypergeometric type power series, An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations, An introduction to pseudo-linear algebra, Resolving sequences of operators for linear ordinary differential and difference systems of arbitrary order, Polynomial evaluation and interpolation on special sets of points, Telescoping in the context of symbolic summation in Maple, Discovering and Proving Infinite Pochhammer Sum Identities, Multiple binomial sums, Solving parameterized linear difference equations in terms of indefinite nested sums and products, Deconstructing the Zeilberger algorithm^†, Constructing minimal telescopers for rational functions in three discrete variables, Some open problems related to creative telescoping, Iterated binomial sums and their associated iterated integrals, Irreducibility of \(q\)-difference operators and the knot \(7_{4}\), Iterated elliptic and hypergeometric integrals for Feynman diagrams, \(q\)-hypergeometric solutions of \(q\)-difference equations, Representations of orthogonal polynomials, Modified Clebsch-Gordan-type expansions for products of discrete hypergeometric polynomials, On the structure of solutions to the key Gosper equation in problems of symbolic summation, Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱, Representation of hypergeometric products of higher nesting depths in difference rings, The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients, On the computation of the Galois group of linear difference equations, Exact Markov chain-based runtime analysis of a discrete particle swarm optimization algorithm on sorting and OneMax, Minimal universal denominators for systems of linear recurrences, Harmonic interpolation based on Radon projections along the sides of regular polygons, When does Zeilberger's algorithm succeed?, Computing hypergeometric solutions of linear recurrence equations, Apparent singularities of linear difference equations with polynomial coefficients, Symbolic computation with sequences, Symbolic solution of nonhomogeneous linear ordinary differential equations in terms of power series, A symbolic summation approach to Feynman integral calculus, \( m\)-fold hypergeometric solutions of linear recurrence equations revisited, Representations of \(q\)-orthogonal polynomials, Applications of Hermite transforms in computer algebra., Computer proofs of a new family of harmonic number identities., Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects, Asymptotic fitness distribution in the Bak-Sneppen model of biological evolution with four species, Laurent, rational, and hypergeometric solutions of linear \(q\)-difference systems of arbitrary order with polynomial coefficients, Particular solutions of linear differential and (\(q\)-) difference systems with hypergeometric right-hand sides, A finite sequence of Hahn-type discrete orthogonal polynomials, Independence number of products of Kneser graphs, Difference Galois groups under specialization, On the Gosper-Petkovšek representation of rational functions, Perfect bases for differential equations, Solving difference equations whose coefficients are not transcendental, Inversion, Multiplication and Connection Formulae of Classical Continuous Orthogonal Polynomials, Classical Orthogonal Polynomials of a Discrete and a q-Discrete Variable, Computer Algebra, Power Series and Summation, Fast computation of special resultants, Multibasic and mixed hypergeometric Gosper-type algorithms, A difference ring theory for symbolic summation, Ore polynomial rings in one variable in computer algebra., Converging to Gosper's algorithm, Rational solutions of ordinary difference equations, Minimal universal denominators for linear difference equations, Rational normal forms and minimal decompositions of hypergeometric terms, On the connection and linearization problem for discrete hypergeometric \(q\)-polynomials, Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem, Valuations of rational solutions of linear difference equations at irreducible polynomials, Factorization of Polynomials and GCD Computations for Finding Universal Denominators, Structural theorems for symbolic summation, Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra, Integral Representation and Algorithms for Closed Form Summation, On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions, Proving hypergeometric identities by numerical verifications, The dimensional recurrence and analyticity method for multicomponent master integrals: using unitarity cuts to construct homogeneous solutions, Counting walks with large steps in an orthant, Algorithmic approach for formal Fourier series, Solutions of linear difference equations with variable coefficients, Rational solutions of first-order algebraic ordinary difference equations, On m-Interlacing Solutions of Linear Difference Equations, A definite summation of hypergeometric terms of special kind, ON THE WRAPPING CORRECTION TO SINGLE MAGNON ENERGY IN TWISTED ${\mathcal N}=4$ SYM, Simplifying Multiple Sums in Difference Fields, THE ITERATED INTEGRALS OF ln(1 + xⁿ), Finite singularities and hypergeometric solutions of linear recurrence equations, A case study for \(\zeta (4)\), Proving Two Conjectural Series for $$\zeta (7)$$ and Discovering More Series for $$\zeta (7)$$, Extensions of the AZ-Algorithm and the Package MultiIntegrate, Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation, On Zeilberger's algorithm and its \(q\)-analogue, On the structure of multivariate hypergeometric terms., On a class of hypergeometric diagonals, Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields, The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals

Uses Software

• hyper

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• Resurrecting the asymptotics of linear recurrences
• Differentiably finite power series
• A holonomic systems approach to special functions identities
• The method of creative telescoping
• A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report
• Decision procedure for indefinite hypergeometric summation