The method of differentiating under the
✍
Gert Almkvist; Doron Zeilberger
📂
Article
📅
1990
🏛
Elsevier Science
🌐
English
⚖ 928 KB
A method is developed to find a differential equation satisfied by the integral R(x)= F(x,y) dy oo 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. "