Extended Zeilberger's algorithm for identities on Bernoulli and Euler polynomials

Journal of Number Theory

Volumn 129, Issue 9, 2009, Pages 2111-2132

  Chen, William Y C ^a   Sun, Lisa H ^a  

^a NANKAI UNIVERSITY   (China)

Author keywords

Bernoulli number; Bernoulli polynomial; Euler number; Euler polynomial; Zeilberger's algorithm

Indexed keywords

EID: 67349274435     PISSN: 0022314X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jnt.2009.01.026     Document Type: Article

References (25)

1. Agoh T., and Dilcher K. Convolution identities and lacunary recurrences for Bernoulli numbers. J. Number Theory 124 (2007) 105-122
2. Andrews G., Paule P., and Schneider C. Plane partitions. VI: Stembridge's TSPP theorem. Adv. in Appl. Math. 34 4 (2005) 709-739
3. W.Y.C. Chen, Q.-H. Hou, Y.-P. Mu, Extended Zeilberger's algorithm with parameters, preprint
4. Dilcher K. Sums of products of Bernoulli numbers. J. Number Theory 60 (1996) 23-41
5. Flajolet P., Gerhold S., and Salvy B. On the non-holonomic character of logarithms, powers, and the nth prime function. Electron. J. Combin. 11 2 (2005) article A2
6. Gelfand M.B. A note on a certain relation among Bernoulli numbers. Baškir. Gos. Univ. Učen. Zap. Vyp. 31 3 (1968) 215-216 (in Russian)
7. Gessel I.M. Applications of the classical umbral calculus. Algebra Universalis 49 (2003) 397-434
8. I.M. Gessel, X.G. Viennot, Determinants, paths, and plane partitions, preprint, 1989
9. Jacobi C.G.J. De usu legitimo formulae summatoriae Maclaurinianae. J. Reine Angew. Math. 12 (1834) 263-272
10. Kaneko M. A recurrence formula for the Bernoulli numbers. Proc. Japan Acad. Ser. A Math. Sci. 71 8 (1995) 192-193
11. Karr M. Theory of summation in finite terms. J. Symbolic Comput. 1 (1985) 303-315
12. Kauers M. Summation algorithms for Stirling number identities. J. Symbolic Comput. 42 (2007) 948-970
13. Lehmer D.H. A new approach to Bernoulli polynomials. Amer. Math. Monthly 95 (1988) 905-911
14. Miki H. A relation between Bernoulli numbers. J. Number Theory 10 (1978) 297-302
15. Momiyama H. A new recurrence formula for Bernoulli numbers. Fibonacci Quart. 39 3 (2001) 285-288
16. P. Paule, Contiguous relations and creative telescoping, preprint, 2005
17. Paule P., and Schneider C. Computer proofs of a new family of harmonic number identities. Adv. in Appl. Math. 31 2 (2003) 359-378
18. Petkovsek M., Wilf H.S., and Zeilberger D. "A=B" (1996), Wellesley, Massachusetts
19. F. Stan, Computer-assisted proofs of special function identities related to Poisson integrals, Adv. in Appl. Math., in press
20. Sun Z.-W. Combinatorial identities in dual sequences. European J. Combin. 24 6 (2003) 709-718
21. Sun Z.-W., and Pan H. Identities concerning Bernoulli and Euler polynomials. Acta Arith. 125 1 (2006) 21-39
22. K. Wegschaider, Computer generated proofs of binomial multi-sum identities, PhD thesis, RISC, J. Kepler University, Linz, 1997
23. Woodcock C.F. Convolutions on the ring of p-adic integers. J. London Math. Soc. 20 (1979) 101-108
24. Wu K.-J., Sun Z.-W., and Pan H. Some identities for Bernoulli and Euler polynomials. Fibonacci Quart. 42 (2004) 295-299
25. Zeilberger D. The method of creative telescoping. J. Symbolic Comput. 11 (1991) 195-204