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