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