The method of differentiating under the integral sign
From MaRDI portal
Publication:754021
DOI10.1016/S0747-7171(08)80159-9zbMath0717.33004OpenAlexW2087236044MaRDI QIDQ754021
Doron Zeilberger, Gert Almkvist
Publication date: 1990
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0747-7171(08)80159-9
Related Items (51)
Analysis of the gift exchange problem ⋮ Integral Recurrences from A to Z ⋮ Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations ⋮ There are EXACTLY 1493804444499093354916284290188948031229880469556 Ways to Derange a Standard Deck of Cards (Ignoring Suits) [and Many Other Such Useful Facts] ⋮ Algorithms for the symbolic integration of hyperlogarithms with applications to Feynman integrals ⋮ Symbolic conversion of holonomic functions to hypergeometric type power series ⋮ Martin boundary of killed random walks on isoradial graphs ⋮ Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory ⋮ Analytic computing methods for precision calculations in quantum field theory ⋮ Some open problems related to creative telescoping ⋮ Iterated binomial sums and their associated iterated integrals ⋮ Rational function certification of multisum/integral/“𝑞” identities ⋮ Tweaking the Beukers integrals in search of more miraculous irrationality proofs a la Apéry ⋮ Beating binary powering for polynomial matrices ⋮ Hermite Reduction for D-finite Functions via Integral Bases ⋮ Collisionless shock region of the KdV equation and an entry in Gradshteyn and Ryzhik ⋮ The first-order factorizable contributions to the three-loop massive operator matrix elements \(A_{Qg}^{(3)}\) and \(\Delta A_{Qg}^{(3)}\) ⋮ Trading order for degree in creative telescoping ⋮ Egorychev method: a hidden treasure ⋮ Telescopers for differential forms with one parameter ⋮ Residues and telescopers for bivariate rational functions ⋮ Stieltjes moment sequences for pattern-avoiding permutations ⋮ The irrationality measure of \(\pi\) is at most 7.103205334137\dots ⋮ The quasi-holonomic ansatz and restricted lattice walks ⋮ A holonomic systems approach to special functions identities ⋮ The method of creative telescoping ⋮ On the existence of telescopers for mixed hypergeometric terms ⋮ Computer Algebra, Power Series and Summation ⋮ Multibasic and mixed hypergeometric Gosper-type algorithms ⋮ A multi-computational exploration of some games of pure chance ⋮ Elimination and identities with the integral sign ⋮ An approach to the zero recognition problem by Buchberger algorithm ⋮ Identities in search of identity ⋮ A symbolic computation approach to a problem involving multivariate Poisson distributions ⋮ A note on uniform approximation of functions having a double pole ⋮ Two definite integrals that are definitely (and surprisingly!) equal ⋮ A recursive method to calculate the expected molecule numbers for a polymerization network with a small number of subunits ⋮ Resultant-Free Computation of Indefinite Hyperexponential Integrals ⋮ Proof of Ira Gessel's lattice path conjecture ⋮ On an Integral Identity ⋮ Calculating massive 3-loop graphs for operator matrix elements by the method of hyperlogarithms ⋮ Large Scale Analytic Calculations in Quantum Field Theories ⋮ A remarkable sequence of integers ⋮ Automatic discovery of irrationality proofs and irrationality measures ⋮ Creative Telescoping for Holonomic Functions ⋮ Linear differential equations as a data structure ⋮ On a link between Dirichlet kernels and central multinomial coefficients ⋮ APÉRY LIMITS FOR ELLIPTIC -VALUES ⋮ Analytic Integration Methods in Quantum Field Theory: An Introduction ⋮ An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities ⋮ Eliminations in Weyl algebras and identities.
Uses Software
Cites Work
- A fast algorithm for proving terminating hypergeometric identities
- The diagonal of a D-finite power series is D-finite
- Some Hermite polynomial identities and their combinatorics
- A holonomic systems approach to special functions identities
- The method of creative telescoping
- Modules over a ring of differential operators. Study of the fundamental solutions of equations with constant coefficients
- On the parallel Risch Algorithm (II)
- Decision procedure for indefinite hypergeometric summation
- The solution of the problem of integration in finite terms
- Towards computerized proofs of identities
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: The method of differentiating under the integral sign
