|
Rational Function Certification Of Multisum/integral/``$q$'' Identities
Author(s):
Herbert
S.
Wilf;
Doron
Zeilberger
Journal:
Bull. Amer. Math. Soc.
27
(1992),
148-153.
MSC (1991):
Primary 05A19, 05A10, 11B65, 33A30, 33A99;
Secondary 05A30, 33A65, 39A10
MathSciNet review:
1145580
Retrieve article in:
PDF
References |
Similar articles |
Additional information
References:
- [AZ]
- G. Almkvist and D. Zeilberger, The method of differentiating under the integral sign, J. Symbolic Comp. \textbf{10} (1990), 571--591. MR 1087980
- [An]
- G. E. Andrews, $q$-Series: their development and applications in analysis, number theory, combinatorics, physics and computer algebra, CBMS Series, vol. 66, Amer. Math. Soc., Providence, RI, 1986. MR 858826
- [Ap]
- R. Ap\' ery, Irrationalit\' e de $\zeta (3)$, Asterisque \textbf{61} (1979), 11--13. MR
- [As1]
- R. A. Askey, Orthogonal polynomials and special functions, Regional Conference Series in Appl. Math., vol. 21, SIAM, 1975. MR 481145
- [As2]
- R. A. Askey, Special functions: Group theoretical aspects and applications \RM (preface\RM ) {\rm (R. A. Askey, T. H. Koornwinder, and W. Schempp, eds.)}, D. Reidel Publ. Co., Dordrecht, 1984. MR 774053
- [deB]
- L. deBranges, A proof of the Bieberbach conjecture, Acta. Math. \textbf{154} (1985), 137--152. MR 772434
- [CC]
- T.-W. Chou and G. E. Collins, Algorithms for the solution of systems of linear Diophantine equations, SIAM J. Comp. \textbf{11} (1982), 687--708. MR 677662
- [Fa]
- Sister M. C. Fasenmyer, Some generalized hypergeometric polynomials, Bull. Amer. Math. Soc. \textbf{53} (1947), 806--812. MR 22276
- [Fo]
- D. Foata, Combinatoire des identites sur les polynomes orthogonaux, in Proc. ICM, Warsaw, Aug. 16-24, 1983, Varsovie, 1983, pp.~1541--1553. MR 804795
- [GG]
- F. G. Garvan and G. Gonnet, Macdonald's constant term identities for exceptional root systems, Bull. Amer. Math. Soc. \textbf{24} (1991), 343--347. MR 1078471
- [GKZ]
- I. M. Gelfand, M. M. Kapranov, and A. V. Zelevinsky, Generalized Euler integrals and A-hypergeometric functions, Adv. Math. \textbf{84} (1990), 255--271. MR 1080980
- [Gu]
- R. A. Gustafson, A generalization of Selberg's beta integral, Bull. Amer. Math. Soc. (N.S.) \textbf{22} (1990), 97--105. MR 1001607
- [Ma]
- I. G. Macdonald, Some conjectures for root systems, SIAM J. Math. Anal. \textbf{13} (1982), 91--143. MR 674768
- [Mi]
- W. Miller, Symmetry and separation of variables, Encyclopedia Math. Appl., vol. 4, Addison-Wesley, London, 1977. MR 460751
- [PBM]
- A. P. Prudnikov, Yu. A. Brychkov, and O. I. Marichev, Integrals and series, {\rm vol. 3 (translated from Russian by G. G. Gould)}, Gordon and Breach, New York, 1990. MR 1054647
- [R]
- E. D. Rainville, Special functions {\rm (reprinted by Chelsea, Bronx, 1971)}, Macmillan Co., New York, 1960. MR 107725
- [V]
- P. Verbaeten, The automatic construction of pure recurrence relations, Proc. EUROSAM '74, ACM-SIGSAM Bull. \textbf{8} (1974), 96--98. MR
- [W]
- H. S. Wilf, Finding the kernel of a symbolic matrix, preprint. MR
- [WZ1]
- H. S. Wilf and D. Zeilberger, Rational functions certify combinatorial identities, J. Amer. Math. Soc. \textbf{3} (1990), 147--158. MR 1007910
- [WZ2]
- H. S. Wilf and D. Zeilberger, Towards computerized proofs of identities, Bull. Amer. Math. Soc. \textbf{23} (1990), 77--84. MR 1019401
- [WZ3]
- H. S. Wilf and D. Zeilberger, An algorithmic proof theory for hypergeometric (ordinary and ``$q$'') multisum/integral identities, Inventiones Math. MR
- [Z1]
- D. Zeilberger, A holonomic systems approach to special functions identities, J. Comp. Appl. Math. \textbf{32} (1990), 321--368. MR 1090884
- [Z2]
- D. Zeilberger, A fast algorithm for proving terminating hypergeometric identities, Discrete Math. \textbf{80} (1990), 207--211. MR 1048463
- [Z3]
- D. Zeilberger, The method of creative telescoping, J. Symbolic Comp. \textbf{11} (1991), 195--204. MR 1103727
Similar Articles:
Retrieve articles in Bulletin of the American Mathematical Society
with MSC
(1991):
05A19, 05A10, 11B65, 33A30, 33A99, 05A30, 33A65, 35N, 39A10
Retrieve articles in all Journals with MSC
(1991):
05A19, 05A10, 11B65, 33A30, 33A99, 05A30, 33A65, 35N, 39A10
Additional Information:
DOI:
10.1090/S0273-0979-1992-00297-5
PII:
S 0273-0979(1992)00297-5
|
