Rational functions certify combinatorial identities
HTML articles powered by AMS MathViewer
- by Herbert S. Wilf and Doron Zeilberger
- J. Amer. Math. Soc. 3 (1990), 147-158
- DOI: https://doi.org/10.1090/S0894-0347-1990-1007910-7
- PDF | Request permission
References
- George E. Andrews, Applications of basic hypergeometric functions, SIAM Rev. 16 (1974), 441–484. MR 352557, DOI 10.1137/1016081
- W. N. Bailey, Generalized hypergeometric series, Cambridge Tracts in Mathematics and Mathematical Physics, No. 32, Stechert-Hafner, Inc., New York, 1964. MR 0185155
- J.-E. Björk, Rings of differential operators, North-Holland Mathematical Library, vol. 21, North-Holland Publishing Co., Amsterdam-New York, 1979. MR 549189
- Shalosh B. Ekhad, A very short proof of Dixon’s theorem, J. Combin. Theory Ser. A 54 (1990), no. 1, 141–142. MR 1051787, DOI 10.1016/0097-3165(90)90014-N
- Shalosh B. Ekhad, Short proofs of two hypergeometric summation formulas of Karlsson, Proc. Amer. Math. Soc. 107 (1989), no. 4, 1143–1144. MR 1019759, DOI 10.1090/S0002-9939-1989-1019759-3 Shalosh B. Ekhad and Doron Zeilberger, A 21st century proof of Dougall’s hypergeometric sum identity, J. Math. Anal. Appl. (to appear).
- Ira Gessel and Dennis Stanton, Strange evaluations of hypergeometric series, SIAM J. Math. Anal. 13 (1982), no. 2, 295–308. MR 647127, DOI 10.1137/0513021
- Ira Gessel and Dennis Stanton, Applications of $q$-Lagrange inversion to basic hypergeometric series, Trans. Amer. Math. Soc. 277 (1983), no. 1, 173–201. MR 690047, DOI 10.1090/S0002-9947-1983-0690047-7
- R. William Gosper Jr., Decision procedure for indefinite hypergeometric summation, Proc. Nat. Acad. Sci. U.S.A. 75 (1978), no. 1, 40–42. MR 485674, DOI 10.1073/pnas.75.1.40
- Henry W. Gould, Combinatorial identities, Henry W. Gould, Morgantown, W. Va., 1972. A standardized set of tables listing 500 binomial coefficient summations. MR 0354401
- Ronald L. Graham, Donald E. Knuth, and Oren Patashnik, Concrete mathematics, 2nd ed., Addison-Wesley Publishing Company, Reading, MA, 1994. A foundation for computer science. MR 1397498 Herbert S. Wilf, 54 computer-generated proofs of binomial coefficient identities (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 —, A fast algorithm for proving terminating hypergeometric identities (to appear). —, The method of creative telescoping (to appear).
Bibliographic Information
- © Copyright 1990 American Mathematical Society
- Journal: J. Amer. Math. Soc. 3 (1990), 147-158
- MSC: Primary 05A19; Secondary 33C05, 68Q40
- DOI: https://doi.org/10.1090/S0894-0347-1990-1007910-7
- MathSciNet review: 1007910