THE METHOD OF DIFFERENTIATING UNDER THE INTEGRAL SIGN

被引：76

作者：

ALMKVIST, G ^{[1
]}

ZEILBERGER, D ^{[1
]}

机构：

[1] TEMPLE UNIV,DEPT MATH & COMP SCI,PHILADELPHIA,PA 19122

来源：

JOURNAL OF SYMBOLIC COMPUTATION | 1990年 / 10卷 / 06期

关键词：

D O I：

10.1016/S0747-7171(08)80159-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

A method is developed to find a differential equation satisfied by the integral R(x)= ∫ −∞∞ F(x,y)dy. Given the holonomic function F(x, y) the computer finds the differential equation for R(x). A continuous version of the second author's “proof machine” for proving hypergeometric identities is used. © 1990, Academic Press Limited. All rights reserved.

引用

页码：571 / 591

页数：21

共 30 条

[1] ALMKVIST G, IN PRESS SIGSAM B
[2] Bailey W. N., 1935, CAMBRIDGE MATH TRACT, V32
[3] Bernshtein I.N., 1971, FUNCT ANAL APPL+, V5, P1, DOI 10.1007/BF01075841
[4] BUCHBERGER B, 1985, MULTIDIMENSIONAL SYS, pCH 6
[5] Davenport J.H., 1988, COMPUTER ALGEBRA
[6] EDWARDS J, 1921, TREATISE INTEGRAL CA, V2
[7] EHLERS F, 1987, ALGEBRAIC D MODULES
[8] FEYNMAN RP, 1985, SURELY YOU ARE JOKIN, P71
[9] FOATA D, 1978, J COMB THEORY A, V24, P250
[10] FOATA D, 1979, P S PURE MATH, V34, P163

← 1 2 3 →