Towards computerized proofs of identities
HTML articles powered by AMS MathViewer
- by Herbert S. Wilf and Doron Zeilberger PDF
- Bull. Amer. Math. Soc. 23 (1990), 77-83
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 3. I. N. Bernstein, Modules over a ring of differential operators, study of the fundamental solutions of equations with constant coefficients, Functional Anal. Appl. 5 (1974), 89-101.
- I. N. Bernšteĭn, Analytic continuation of generalized functions with respect to a parameter, Funkcional. Anal. i Priložen. 6 (1972), no. 4, 26–40. MR 0320735 5. G. D. Birkhoff and W. J. Trjitzinsky, Analytic theory of singular difference equations, Acta Math. 60 (1932), 1-8.
- 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 and Sol Tre, A purely verification proof of the first Rogers-Ramanujan identity, J. Combin. Theory Ser. A 54 (1990), no. 2, 309–311. MR 1060003, DOI 10.1016/0097-3165(90)90038-X 8. A. Erdélyi et al, The higher transcendental functions, (3 vols.), McGraw-Hill, New York, 1953.
- 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
- 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
- Earl D. Rainville, Special functions, The Macmillan Company, New York, 1960. MR 0107725
- Robert H. Risch, The solution of the problem of integration in finite terms, Bull. Amer. Math. Soc. 76 (1970), 605–608. MR 269635, DOI 10.1090/S0002-9904-1970-12454-5 15. B. M. Trager, On the integration of algebraic functions, Ph.D. thesis, MIT, Cambridge, MA, 1985. 16. H. S. Wilf, 54 computer-generated proofs of binomial coefficient identities (to appear).
- 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
- Jet Wimp and Doron Zeilberger, Resurrecting the asymptotics of linear recurrences, J. Math. Anal. Appl. 111 (1985), no. 1, 162–176. MR 808671, DOI 10.1016/0022-247X(85)90209-4
- 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, 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
- Journal: Bull. Amer. Math. Soc. 23 (1990), 77-83
- MSC (1985): Primary 05A19
- DOI: https://doi.org/10.1090/S0273-0979-1990-15904-X
- MathSciNet review: 1019401