An extension of Zeilberger's fast algorithm to general holonomic functions

DOI10.1016/S0012-365X(99)00259-9zbMATH Open0968.33011MaRDI QIDQ1978177FDOQ1978177

Authors: Frédéric Chyzak 

Publication date: 12 September 2001

Published in: Discrete Mathematics (Search for Journal in Brave)

Recommendations

• Algorithms for \(m\)-fold hypergeometric summation
• The extended Zeilberger algorithm with parameters
• A Macsyma implementation of Zeilberger's fast algorithm
• scientific article; zbMATH DE number 1131976

zbMATH Keywords

Zeilberger's algorithmsymbolic integrationD-finite functionsGosper's algorithmsymbolic summationholonomic functionshypergeometric sequencesAbramov's algorithm\(\partial\)-finite functions

Mathematics Subject Classification ID

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

Cited In (94)

• Sparsity optimized high order finite element functions for \(H(\mathrm{curl})\) on tetrahedra
• Creative telescoping for holonomic functions
• Telescoping method, derivative operators and harmonic number identities
• Iterated binomial sums and their associated iterated integrals
• Algorithms for the symbolic integration of hyperlogarithms with applications to Feynman integrals
• Term algebras, canonical representations and difference ring theory for symbolic summation
• A numerical transcendental method in algebraic geometry: computation of Picard groups and related invariants
• A new Sigma approach to multi-summation
• Hypergeometric expressions for generating functions of walks with small steps in the quarter plane
• Summation algorithms for Stirling number identities
• A family of summation formulae involving harmonic numbers
• Laguerre-Freud equations for Generalized Hahn polynomials of type I
• \(k\)-free recurrences of double hypergeometric terms
• Structural theorems for symbolic summation
• Solving parameterized linear difference equations in terms of indefinite nested sums and products
• The extended Zeilberger algorithm with parameters
• Trading order for degree in creative telescoping
• New Representations for all Sporadic Apéry-Like Sequences, With Applications to Congruences
• Computing periods of rational integrals
• Integral Representation and Algorithms for Closed Form Summation
• Computing periods of hypersurfaces
• A symbolic summation approach to Feynman integral calculus
• Application of unspecified sequences in symbolic summation
• Report from the open problems session at OPSFA13
• Plane partitions. VI: Stembridge's TSPP theorem
• Computation of the expected Euler characteristic for the largest eigenvalue of a real non-central Wishart matrix
• On a class of languages with holonomic generating functions
• A refined difference field theory for symbolic summation
• Factoring systems of linear PDEs with finite-dimensional solution spaces
• Formal residue and computer-assisted proofs of combinatorial identities
• A fast approach to creative telescoping
• A generalized Apagodu-Zeilberger algorithm
• On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
• Fast computation of the \(N\)-th term of a \(q\)-holonomic sequence and applications
• Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
• A telescoping method for double summations
• Polynomial and rational solutions of holonomic systems
• Calculating massive 3-loop graphs for operator matrix elements by the method of hyperlogarithms
• Telescoping method, summation formulas, and inversion pairs
• Derivative operator and summation formulae involving generalized harmonic numbers
• Constructing minimal telescopers for rational functions in three discrete variables
• Holonomic gradient descent and its application to the Fisher-Bingham integral
• On the average complexity for the verification of compatible sequences
• Telescoping in the context of symbolic summation in Maple
• Difference Equation Theory Meets Mathematical Finance
• Reduction-based creative telescoping for Fuchsian D-finite functions
• Summation formulas involving generalized harmonic numbers
• Multiple binomial sums
• Computing differential equations for integrals associated to smooth Fano polytope
• Proof of George Andrews's and David Robbins's \(q\)-TSPP conjecture
• Linear differential equations as a data structure
• A difference ring theory for symbolic summation
• Indefinite summation with unspecified summands
• Feynman integrals and mirror symmetry
• Four families of summation formulas involving generalized harmonic numbers
• Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields
• Watson-type₃F₂-series and summation formulae involving generalized harmonic numbers
• Applicability of the \(q\)-analogue of Zeilberger's algorithm
• An efficient procedure deciding positivity for a class of holonomic functions
• Irreducibility of \(q\)-difference operators and the knot \(7_{4}\)
• The Abel-Zeilberger algorithm
• An efficient algorithm for deriving summation identities from mutual recurrences
• Simplifying multiple sums in difference fields
• Some open problems related to creative telescoping
• Minimal representations and algebraic relations for single nested products
• A case study for \(\zeta (4)\)
• Closed form solutions of linear difference equations in terms of symmetric products
• Hermite Reduction for D-finite Functions via Integral Bases
• Comments on Risch's \textit{On the integration of elementary functions which are built up using algebraic operations}
• Algorithm for differential equations for Feynman integrals in general dimensions
• Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order
• The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
• Polynomial reduction for holonomic sequences and applications in \(\pi\)-series and congruences
• Beating binary powering for polynomial matrices
• Nested Integrals and Rationalizing Transformations
• Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
• Representation of hypergeometric products of higher nesting depths in difference rings
• Effective algebraic analysis approach to linear systems over Ore algebras
• Creative telescoping for hypergeometric double sums
• The generating function of Kreweras walks with interacting boundaries is not algebraic
• On the optimal systems of subalgebras for the equations of hydrodynamic stability analysis of smooth shear flows and their group-invariant solutions
• Recurrence-Driven Summations in Automated Deduction
• Computer algebra in the service of enumerative combinatorics
• Differential equations for Feynman integrals
• Lazy Hermite reduction and creative telescoping for algebraic functions
• Solving linear difference equations with coefficients in rings with idempotent representations
• Holonomic anti-differentiation and Feynman amplitudes
• A symbolic approach to computing with holonomic functions
• Hypergeometric-type sequences
• Reduction-based creative telescoping for definite summation of D-finite functions
• A hypergeometric proof that \(\mathsf{Iso}\) is bijective
• Congruences and telescopings of \(P\)-recursive sequences
• Title not available (Why is that?)
• Convergent expansions and bounds for the incomplete elliptic integral of the second kind near the logarithmic singularity

Uses Software

• qZeil

This page was built for publication: An extension of Zeilberger's fast algorithm to general holonomic functions

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