Computer proofs of a new family of harmonic number identities

Advances in Applied Mathematics

Volumn 31, Issue 2, 2003, Pages 359-378

  Paule, Peter ^a   Schneider, Carsten ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0141838153     PISSN: 01968858     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0196-8858(03)00016-2     Document Type: Article

References (35)

1. S.A. Abramov, M. Petkovšek, D'Alembertian solutions of linear differential and difference equations, in: J. von zur Gathen (Ed.), Proc. ISSAC'94, ACM Press, Baltimore, 1994, pp. 169-174.
2. S.A. Abramov, When does Zeilberger's algorithm succeed? Adv. Appl. Math., to appear.
3. S. Ahlgren, K. Ono, A Gaussian hypergeometric series evaluation and Apéry number congruences, J. Reine Angew. Math. 518 (2000) 187-212.
4. S. Ahlgren, Gaussian hypergeometric series and combinatorial congruences, in: Symbolic Computation, Number Theory, Special Functions, Physics and Combinatorics, in: Develop. Math., Vol. 4, Kluwer, Dordrecht, 2001, pp. 1-12.
5. G.E. Andrews, K. Uchimura, Identities in combinatorics IV: differentiation and harmonic numbers, Utilitas Math. 28 (1995) 265-269.
6. M. Bronstein, On solutions of linear ordinary difference equations in their coefficient field, J. Symbolic Comput. 29 (6) (2000) 841-877.
7. F. Chyzak, B. Salvy, Non-commutative elimination in ore algebras proves multivariate identities, J. Symbolic Comput. 26 (2) (1998) 187-227.
8. R.M. Cohn, Difference Algebra, Interscience, 1965.
9. R.W. Gosper, Decision procedures for indefinite hypergeometric summation, Proc. Nat. Acad. Sci. USA 75 (1978) 40-42.
10. R.L. Graham, D.E. Knuth, O. Patashnik, Concrete Mathematics: A Foundation for Computer Science, 2nd edition, Addison-Wesley, Amsterdam, 1994.
11. P.A. Hendriks, M.F. Singer, Solving difference equations in finite terms, J. Symbolic Comput. 27 (3) (1999) 239-259.
12. M. van Hoeij, Finite singularities hypergeometric solutions of linear recurrence equations, J. Pure Appl. Algebra 139 (1-3) (1999) 109-131.
13. M. Karr, Summation in finite terms, J. ACM 28 (1981) 305-350.
14. M. Karr, Theory of summation in finite terms, J. Symbolic Comput. 1 (1985) 303-315.
15. C. Mallinger, Algorithmic manipulations and transformations of univariate holonomic functions and sequences, Master's thesis, RISC, J. Kepler University, Linz, August 1996.
16. E. Mortenson, A supercongruence conjecture of Rodriguez-Villegas for a certain truncated hypergeometric function, J. Number Theory 99 (1) (2003) 139-147.
17. E. Mortenson, Supercongruences between truncated 2F1 hypergeometric functions and their Gaussian analogs, Trans. Amer. Math. Soc. 355 (3) (2003) 987-1007.
18. I. Newton, Mathematical Papers, Vol. III, D.T. Whiteside (Ed.), Cambridge Univ. Press, London, 1969.
19. P. Paule, Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type, Electron. J. Combin. 1 (1994) R10.
20. P. Paule, Greatest factorial factorization and symbolic summation, J. Symbolic Comput. 20 (1995) 235-268.
21. P. Paule, A. Riese, A Mathematica q-analogue of Zeilberger's algorithm based on an algebraically motivated approach to q-hypergeometric telescoping, in: M. Ismail, M. Rahman (Eds.), Special Functions, q-Series and Related Topics, in: Fields Inst. Commun., Vol. 14, Amer. Math. Society, 1997, pp. 179-210.
22. M. Petkovšek, Hypergeometric solutions of linear recurrences with polynomial coefficients, J. Symbolic Comput. 14 (2-3) (1992) 243-264.
23. M. Petkovšek, A generalization of Gosper's algorithm, Discrete Math. 134 (1-3) (1994) 125-131.
24. M. Petkovšek, H.S. Wilf, D. Zeilberger, A = B, Peters, Wellesley, MA, 1996.
25. A. van der Poorten, A proof that Euler missed ... Apéry's proof of the irrationality of ζ (3), Math. Intelligencer 2 (1979) 195-203.
26. R. Risch, The solution to the problem of integration in finite terms, Bull. Amer. Math. Soc. 76 (1970) 605-608.
27. B. Salvy, P. Zimmermann, Gfun: A package for the manipulation of generating and holonomic functions in one variable, ACM Trans. Math. Software 20 (1994) 163-177.
28. C. Schneider, An implementation of Karr's summation algorithm in Mathematica, Sém. Lothar. Combin. S43b (2000) 1-10.
29. C. Schneider, Symbolic summation in difference fields, Technical Report 01-17, RISC-Linz, J. Kepler University, November 2001, PhD Thesis, available at http://www.risc.uni-linz.ac.at/research/combinat/risc/publications.
30. C. Schneider, Solving parameterized linear difference equations in ∏∑-fields, Technical Report 02-03, RISC-Linz, J. Kepler University, July 2002, submitted, available at http://www.risc.uni-linz.ac.at/research/combinat/risc/publications.
31. C. Schneider, A collection of denominator bounds to solve parameterized linear difference equations in ∏∑-fields, Technical Report 02-04, RISC-Linz, J. Kepler University, July 2002, submitted, available at http://www.risc.uni-linz.ac.at/research/combinat/risc/publications.
32. C. Schneider, A collection of degree bounds to solve parameterized linear difference equations in ∏∑-fields, Technical Report 02-05, RISC-Linz, J. Kepler University, July 2002, submitted, available at http://www.risc.uni-linz.ac.at/research/combinat/risc/publications.
33. C. Schneider, A unique representation of solutions of parameterized linear difference equations in ∏∑-fields, Technical Report 02-06, RISC-Linz, J. Kepler University, July 2002, J. Symbolic Comput., submitted, available at http://www.risc.uni-linz.ac.at/research/combinat/risc/publications.
34. K. Wegschaider, Computer generated proofs of binomial multi-sum identities, Diploma thesis, RISC-Linz, Johannes Kepler University, May 1997.
35. D. Zeilberger, A fast algorithm for proving terminating hypergeometric identities, Discrete Math. 80 (2) (1990) 207-211.