Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
From MaRDI portal
Publication:863306
DOI10.1016/J.AAM.2005.09.003zbMATH Open1108.05010OpenAlexW2063489833MaRDI QIDQ863306FDOQ863306
Authors: Moa Apagodu, Doron Zeilberger 
Publication date: 26 January 2007
Published in: Advances in Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.aam.2005.09.003
Cites Work
- MultInt, a MAPLE package for multiple integration by the WZ method
- Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms
- Some Conjectures for Root Systems
- The method of differentiating under the integral sign
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type
- Combinatorial sums, identities and trace identities of the 2x2 matrices
Cited In (62)
- Egorychev method: a hidden treasure
- Comments on Risch's \textit{On the integration of elementary functions which are built up using algebraic operations}
- On two-term hypergeometric recursions with free lower parameters
- No-neighbours recurrence schemes for space-time Green's functions on a 3D simple cubic lattice
- The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
- Exploring general Apéry limits via the Zudilin–Straub t-transform
- Apéry limits for elliptic \(L\)-values
- Counting condorcet
- Supercongruences for truncated Appell series
- The first-order factorizable contributions to the three-loop massive operator matrix elements \(A_{Qg}^{(3)}\) and \(\Delta A_{Qg}^{(3)}\)
- Creative telescoping for holonomic functions
- Rational approximations to values of the digamma function and a conjecture on denominators
- Algorithms for the symbolic integration of hyperlogarithms with applications to Feynman integrals
- Term algebras, canonical representations and difference ring theory for symbolic summation
- The transition matrix element \(A_{gq}(N)\) of the variable flavor number scheme at \(O({\alpha}_s^3)\)
- Automatic discovery of irrationality proofs and irrationality measures
- An asymptotic formula for the variance of the number of zeroes of a stationary Gaussian process
- Calculating three loop ladder and \(V\)-topologies for massive operator matrix elements by computer algebra
- Using the ``Freshman's dream to prove combinatorial congruences
- Trading order for degree in creative telescoping
- The quasi-holonomic ansatz and restricted lattice walks
- A remarkable sequence of integers
- A by-product of an integral evaluation
- Computing periods of rational integrals
- A symbolic summation approach to Feynman integral calculus
- Analytic integration methods in quantum field theory: an introduction
- Positivity of rational functions and their diagonals
- A recursive method to calculate the expected molecule numbers for a polymerization network with a small number of subunits
- The computational challenge of enumerating high-dimensional rook walks
- Large Scale Analytic Calculations in Quantum Field Theories
- Elementary proof of congruences involving sum of binomial coefficients
- A symbolic computation approach to a problem involving multivariate Poisson distributions
- Tweaking the Beukers integrals in search of more miraculous irrationality proofs a la Apéry
- The non-commutative \(A\)-polynomial of twist knots
- Series evaluation of a quartic integral
- An algorithm for deciding the summability of bivariate rational functions
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
- Extensions of the AZ-Algorithm and the Package MultiIntegrate
- A generalized supercongruence of Kimoto and Wakayama
- A telescoping method for double summations
- MultiZeilberger
- An algorithmic approach to the \(q\)-summability problem of bivariate rational functions
- The polarized three-loop anomalous dimensions from on-shell massive operator matrix elements
- The polarized transition matrix element \(A_{gq}(N)\) of the variable flavor number scheme at \(O(\alpha_s^3)\)
- A supercongruence involving Delannoy numbers and Schröder numbers
- Analysis of the gift exchange problem
- Analytic computing methods for precision calculations in quantum field theory
- Holonomic gradient descent and its application to the Fisher-Bingham integral
- Multiple binomial sums
- The 1958 Pekeris-Accad-WEIZAC ground-breaking collaboration that computed ground states of two-electron atoms (and its 2010 redux)
- Linear differential equations as a data structure
- Proof of some divisibility results on sums involving binomial coefficients
- Logarithmic and complex constant term identities
- The three-loop splitting functions \(P_{q g}^{(2)}\) and \(P_{g g}^{(2, \operatorname{N}_{\operatorname{F}})}\)
- Identities in character tables ofSn
- Revitalized automatic proofs: demonstrations
- Summations of linear recurrent sequences
- Simplifying multiple sums in difference fields
- Some open problems related to creative telescoping
- Congruences on sums of super Catalan numbers
- Minimal representations and algebraic relations for single nested products
- A note on moments of limit log-infinitely divisible stochastic measures of Bacry and Muzy
Uses Software
This page was built for publication: Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q863306)
