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 R. Apéry, Irrationalité de $\zeta$(3), Asterisque 61 (1979), 11-13.
- 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 P. Verbaeten, The automatic construction of pure recurrence relations, Proc. EUROSAM ’74, ACM-SIGSAM Bull. 8 (1974), 96-98. H. S. Wilf, Finding the kernel of a symbolic matrix, preprint.
- 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, Inventiones Math, (to appear).
- 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
Additional Information
- © Copyright 1992 American Mathematical Society
- Journal: Bull. Amer. Math. Soc. 27 (1992), 148-153
- MSC (2000): Primary 11B65; Secondary 05A19, 05A30, 33D99
- DOI: https://doi.org/10.1090/S0273-0979-1992-00297-5
- MathSciNet review: 1145580