The method of differentiating under the integral sign

DOI10.1016/S0747-7171(08)80159-9zbMath0717.33004OpenAlexW2087236044MaRDI QIDQ754021

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

zbMATH Keywords

evaluation of integrals

Mathematics Subject Classification ID

Hypergeometric integrals and functions defined by them ((E), (G), (H) and (I) functions) (33C60)

Related Items

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