灰姑娘 发表于 2025-3-25 05:26:25
Hypergeometric Database,In this chapter we list some of the major hypergeometric identities. Note that most of these do not require any variables to have integer values. We give examples showing how this database can be used to generate binomial identities.Solace 发表于 2025-3-25 08:25:14
http://reply.papertrans.cn/44/4307/430638/430638_22.pngDelude 发表于 2025-3-25 14:02:47
http://reply.papertrans.cn/44/4307/430638/430638_23.png个阿姨勾引你 发表于 2025-3-25 16:50:42
The Wilf-Zeilberger Method,In this chapter, we study the connection between Gosper’s algorithm and definite sums.Firstly, we give a direct application of Gosper’s algorithm to definite summation. The application of Gosper’s algorithm to a modified input can prove definite hypergeometric identities.继承人 发表于 2025-3-25 20:32:08
,Zeilberger’s Algorithm,In this chapter, we introduce Zeilberger’s extension of Gosper’s algorithm, using which one can not only prove hypergeometric identities but also sum definite series in many cases, if they represent hypergeometric terms.书法 发表于 2025-3-26 00:49:12
Extensions of the Algorithms,In this chapter, we extend Gosper’s, Wilf-Zeilberger’s and Zeilberger’s methods to accept rational-linear inputs rather than only integer-linear ones. For such an input . is not always rational, so that Gosper’s algorithm may not apply.Sarcoma 发表于 2025-3-26 05:50:19
http://reply.papertrans.cn/44/4307/430638/430638_27.pngpeak-flow 发表于 2025-3-26 09:25:14
Hyperexponential Antiderivatives,In this chapter, we consider a continuous counterpart of Gosper’s algorithm. The appropriate question is to find a hyperexponential term antiderivative .(.) of a given .(.) whenever one exists.凶猛 发表于 2025-3-26 13:00:24
Holonomic Equations for Integrals,Now we are ready to consider . of hyperexponential terms. If the corresponding indefinite integral is a hyperexponential term again, then the continuous Gosper algorithm applies, and definite integration is trivial.enfeeble 发表于 2025-3-26 20:39:35
http://reply.papertrans.cn/44/4307/430638/430638_30.png