A fast algorithm for proving terminating hypergeometric identities. (English) Zbl 0701.05001
This is a very brief description of an algorithm developed by the author for verifying identities for terminating hypergeometric series. A fuller account of this procedure with examples of its use to both prove and discover such identities can be found in “WZ pairs certify combinatorial identities” (preprint) by Herbert Wilf and Doron Zeilberger.”
Reviewer: D.M.Bressoud
MSC:
| 33F10 | Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) |
| 05A10 | Factorials, binomial coefficients, combinatorial functions |
| 05A19 | Combinatorial identities, bijective combinatorics |
References:
| [1] | Andrews, G. E., \(q\)-Series: their development and applications in analysis, number theory, combinatorics, physics, and computer algebra, Amer. Math. Soc. (1986), Providence · Zbl 0594.33001 |
| [2] | R. Askey, Ramanujan and hypergeometric and basic hypergeometric series, preprint.; R. Askey, Ramanujan and hypergeometric and basic hypergeometric series, preprint. · Zbl 0722.33009 |
| [3] | Bailey, W. N., Generalized hypergeometric series, Cambridge Math. Tracts, 32 (1935), Cambridge University Press: Cambridge University Press London, (Repreinted: Hafner, New York, 1964.) · Zbl 0011.02303 |
| [4] | Bernstein, I. N., Modules over a ring of differential operators, study of the fundamental solutions of equations with constant coefficients, Functional Analysis and Its Applications, 5, 2, 89-101 (1971), English translation: · Zbl 0233.47031 |
| [5] | Björk, J. E., Rings of Differential Operators (1979), North-Holland: North-Holland Amsterdam · Zbl 0499.13009 |
| [6] | Cipra, B. A., How the Grinch stole mathematics, Science, 245, 595 (1989) |
| [7] | Cartier, P.; Foata, D., Problémes combinatoires de commutation et réarrangements, Lecture Notes in Mathematics, 85 (1969), Springer: Springer Berlin · Zbl 0186.30101 |
| [8] | G. Gasper and M. Rahman, An idefinite bibasic summation formula and some quadratic, cubic, and quartic summation and transformation formulas, preprint.; G. Gasper and M. Rahman, An idefinite bibasic summation formula and some quadratic, cubic, and quartic summation and transformation formulas, preprint. · Zbl 0707.33009 |
| [9] | Gessel, I.; Stanton, D., Strange evaluations of hypergeometric series, SIAM J. Math. Anal., 13, 295-308 (1982) · Zbl 0486.33003 |
| [10] | Gosper, R. W., Decision procedures for indefinite hypergometric summation, Proc. Natl. Acad. Sci. USA, 75, 40-42 (1978) · Zbl 0384.40001 |
| [11] | van der Poorten, A., A proof that Euler missed … Apery’s proof of the irrationality of ζ(3), Math. Intell., 1, 195-203 (1979) · Zbl 0409.10028 |
| [12] | Rainville, E. D., Special Functions (1960), Macmillan: Macmillan New York, (Reprinted: Chelsea, Bronx, NY, 1971). · Zbl 0050.07401 |
| [13] | B.L.^van der Waerden, Modern Algebra, Vol. I and II (Frederik Ungar Publ. Co., New York).; B.L.^van der Waerden, Modern Algebra, Vol. I and II (Frederik Ungar Publ. Co., New York). · Zbl 0039.00902 |
| [14] | H.S. Wilf and D. Zeilberger, Rational functions certify combinatorial identities, J. Amer. Math. Soc., to appear.; H.S. Wilf and D. Zeilberger, Rational functions certify combinatorial identities, J. Amer. Math. Soc., to appear. · Zbl 0695.05004 |
| [15] | D. Zeilberger, A holonomic systems approach to special function identities, preprint.; D. Zeilberger, A holonomic systems approach to special function identities, preprint. · Zbl 0738.33001 |
| [16] | Zeilberger, D.; Bressoud, D., A proof of Andrew’s \(q\)-Dyson conjecture, Discrete Math., 54, 201-224 (1985) · Zbl 0565.33001 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
