Rational function certification of multisum/integral/“𝑞” identities

Wilf, Herbert S.; Zeilberger, Doron

doi:10.1090/S0273-0979-1992-00297-5

Rational function certification of multisum/integral/“$q$” identities
HTML articles powered by AMS MathViewer

by Herbert S. Wilf and Doron Zeilberger PDF

Bull. Amer. Math. Soc. 27 (1992), 148-153 Request permission

Abstract:

The method of rational function certification for proving terminating hypergeometric identities is extended from single sums or integrals to multi-integral/sums and "q" integral/sums.

References

Gert Almkvist and Doron Zeilberger, The method of differentiating under the integral sign, J. Symbolic Comput. 10 (1990), no. 6, 571–591. MR 1087980, DOI 10.1016/S0747-7171(08)80159-9
George E. Andrews, $q$-series: their development and application in analysis, number theory, combinatorics, physics, and computer algebra, CBMS Regional Conference Series in Mathematics, vol. 66, Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1986. MR 858826, DOI 10.1090/cbms/066

Irrationalité de

61

Richard Askey, Orthogonal polynomials and special functions, Society for Industrial and Applied Mathematics, Philadelphia, Pa., 1975. MR 0481145, DOI 10.1137/1.9781611970470
R. A. Askey, T. H. Koornwinder, and W. Schempp (eds.), Special functions: group theoretical aspects and applications, Mathematics and its Applications, D. Reidel Publishing Co., Dordrecht, 1984. MR 774053, DOI 10.1007/978-94-010-9787-1
Louis de Branges, A proof of the Bieberbach conjecture, Acta Math. 154 (1985), no. 1-2, 137–152. MR 772434, DOI 10.1007/BF02392821
Tsu Wu J. Chou and George E. Collins, Algorithms for the solution of systems of linear Diophantine equations, SIAM J. Comput. 11 (1982), no. 4, 687–708. MR 677662, DOI 10.1137/0211057
Mary Celine Fasenmyer, Some generalized hypergeometric polynomials, Bull. Amer. Math. Soc. 53 (1947), 806–812. MR 22276, DOI 10.1090/S0002-9904-1947-08893-5
Dominique Foata, Combinatoire des identités sur les polynômes orthogonaux, Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Warsaw, 1983) PWN, Warsaw, 1984, pp. 1541–1553 (French). MR 804795
Frank G. Garvan and Gaston Gonnet, Macdonald’s constant term conjectures for exceptional root systems, Bull. Amer. Math. Soc. (N.S.) 24 (1991), no. 2, 343–347. MR 1078471, DOI 10.1090/S0273-0979-1991-16029-5
I. M. Gel′fand, M. M. Kapranov, and A. V. Zelevinsky, Generalized Euler integrals and $A$-hypergeometric functions, Adv. Math. 84 (1990), no. 2, 255–271. MR 1080980, DOI 10.1016/0001-8708(90)90048-R
Robert A. Gustafson, A generalization of Selberg’s beta integral, Bull. Amer. Math. Soc. (N.S.) 22 (1990), no. 1, 97–105. MR 1001607, DOI 10.1090/S0273-0979-1990-15852-5
I. G. Macdonald, Some conjectures for root systems, SIAM J. Math. Anal. 13 (1982), no. 6, 988–1007. MR 674768, DOI 10.1137/0513070
Willard Miller Jr., Symmetry and separation of variables, Encyclopedia of Mathematics and its Applications, Vol. 4, Addison-Wesley Publishing Co., Reading, Mass.-London-Amsterdam, 1977. With a foreword by Richard Askey. MR 0460751
A. P. Prudnikov, Yu. A. Brychkov, and O. I. Marichev, Integrals and series. Vol. 3, Gordon and Breach Science Publishers, New York, 1990. More special functions; Translated from the Russian by G. G. Gould. MR 1054647
Earl D. Rainville, Special functions, The Macmillan Company, New York, 1960. MR 0107725

The automatic construction of pure recurrence relations

8

Finding the kernel of a symbolic matrix

Herbert S. Wilf and Doron Zeilberger, Rational functions certify combinatorial identities, J. Amer. Math. Soc. 3 (1990), no. 1, 147–158. MR 1007910, DOI 10.1090/S0894-0347-1990-1007910-7
Herbert S. Wilf and Doron Zeilberger, Towards computerized proofs of identities, Bull. Amer. Math. Soc. (N.S.) 23 (1990), no. 1, 77–83. MR 1019401, DOI 10.1090/S0273-0979-1990-15904-X

An algorithmic proof theory for hypergeometric (ordinary and "q") multisum/integral identities

Doron Zeilberger, A holonomic systems approach to special functions identities, J. Comput. Appl. Math. 32 (1990), no. 3, 321–368. MR 1090884, DOI 10.1016/0377-0427(90)90042-X
Doron Zeilberger, A fast algorithm for proving terminating hypergeometric identities, Discrete Math. 80 (1990), no. 2, 207–211. MR 1048463, DOI 10.1016/0012-365X(90)90120-7
Doron Zeilberger, The method of creative telescoping, J. Symbolic Comput. 11 (1991), no. 3, 195–204. MR 1103727, DOI 10.1016/S0747-7171(08)80044-2