Three Recitations on Holonomic Systems and Hypergeometric Series
暂无分享,去创建一个
Abstract These "recitations" were given in the 24th session of the "Seminaire Lotharingien", held in the Spring of 1990, somewhere in the Vosges mountains. I thank Dominique Foata for inviting me, and letting me sample one of these charming seminars which preserve the spirit that Oberwolfach lost a long time ago. I would like to thank Peter Paule and Voker Strehl for the invitation to include them in this special issue of the JSC, and for many helpful comments.
[1] Shalosh B. Ekhad,et al. A WZ-style proof of Jacobi polynomials' generating function , 1992, Discret. Math..
[2] Doron Zeilberger,et al. An algorithmic proof theory for hypergeometric (ordinary and “q”) multisum/integral identities , 1992 .
[3] Doron Zeilberger,et al. Towards computerized proofs of identities , 1990 .