An extension of Zeilberger's fast algorithm to general holonomic functions
From MaRDI portal
Publication:1978177
DOI10.1016/S0012-365X(99)00259-9zbMath0968.33011MaRDI QIDQ1978177
Publication date: 12 September 2001
Published in: Discrete Mathematics (Search for Journal in Brave)
Abramov's algorithmsymbolic integrationholonomic functionsZeilberger's algorithmD-finite functionsGosper's algorithmsymbolic summationhypergeometric sequences\(\partial\)-finite functions
Symbolic computation and algebraic computation (68W30) Combinatorial identities, bijective combinatorics (05A19) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)
Related Items
Factoring systems of linear PDEs with finite-dimensional solution spaces, Feynman integrals and mirror symmetry, \(k\)-free recurrences of double hypergeometric terms, AN EFFICIENT ALGORITHM FOR DERIVING SUMMATION IDENTITIES FROM MUTUAL RECURRENCES, Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations, Algorithms for the symbolic integration of hyperlogarithms with applications to Feynman integrals, Telescoping in the context of symbolic summation in Maple, Multiple binomial sums, Solving parameterized linear difference equations in terms of indefinite nested sums and products, Computing differential equations for integrals associated to smooth Fano polytope, 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}\), Laguerre-Freud equations for Generalized Hahn polynomials of type I, Reduction-based creative telescoping for Fuchsian D-finite functions, Sparsity optimized high order finite element functions for \(H(\mathrm{curl})\) on tetrahedra, Fast computation of the \(N\)-th term of a \(q\)-holonomic sequence and applications, Derivative operator and summation formulae involving generalized harmonic numbers, Beating binary powering for polynomial matrices, Hermite Reduction for D-finite Functions via Integral Bases, New Representations for all Sporadic Apéry-Like Sequences, With Applications to Congruences, Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱, The generating function of Kreweras walks with interacting boundaries is not algebraic, Representation of hypergeometric products of higher nesting depths in difference rings, The extended Zeilberger algorithm with parameters, Trading order for degree in creative telescoping, Convergent expansions and bounds for the incomplete elliptic integral of the second kind near the logarithmic singularity, Computation of the expected Euler characteristic for the largest eigenvalue of a real non-central Wishart matrix, Four families of summation formulas involving generalized harmonic numbers, On the average complexity for the verification of compatible sequences, Summation formulas involving generalized harmonic numbers, A symbolic summation approach to Feynman integral calculus, Effective Algebraic Analysis Approach to Linear Systems over Ore Algebras, Closed form solutions of linear difference equations in terms of symmetric products, Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects, On the optimal systems of subalgebras for the equations of hydrodynamic stability analysis of smooth shear flows and their group-invariant solutions, Minimal representations and algebraic relations for single nested products, A refined difference field theory for symbolic summation, A difference ring theory for symbolic summation, Congruences and telescopings of P-recursive sequences, Proof of George Andrews’s and David Robbins’s q -TSPP conjecture, Summation algorithms for Stirling number identities, Plane partitions. VI: Stembridge's TSPP theorem, A new Sigma approach to multi-summation, A fast approach to creative telescoping, Formal residue and computer-assisted proofs of combinatorial identities, Structural theorems for symbolic summation, Integral Representation and Algorithms for Closed Form Summation, Polynomial and rational solutions of holonomic systems, Indefinite summation with unspecified summands, Holonomic gradient descent and its application to the Fisher-Bingham integral, A telescoping method for double summations, On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions, Watson-type3F2-series and summation formulae involving generalized harmonic numbers, Computing periods of rational integrals, On a class of languages with holonomic generating functions, Hypergeometric expressions for generating functions of walks with small steps in the quarter plane, A Numerical Transcendental Method in Algebraic Geometry: Computation of Picard Groups and Related Invariants, Report from the open problems session at OPSFA13, Telescoping method, summation formulas, and inversion pairs, Calculating massive 3-loop graphs for operator matrix elements by the method of hyperlogarithms, Difference Equation Theory Meets Mathematical Finance, Computing periods of hypersurfaces, Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order, Creative Telescoping for Holonomic Functions, Simplifying Multiple Sums in Difference Fields, Linear differential equations as a data structure, A case study for \(\zeta (4)\), A hypergeometric proof that 𝖨𝗌𝗈 is bijective, A family of summation formulae involving harmonic numbers, Holonomic Anti-Differentiation and Feynman Amplitudes, Nested Integrals and Rationalizing Transformations, Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation, Telescoping method, derivative operators and harmonic number identities, 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
