The Summation Package Sigma

For a general overview see:

The Summation Package Sigma: Underlying Principles and a Rhombus Tiling Application.
Discrete Math. Theor. Comput. Sci. 6(2), pp. 365-386. 2004. [url] [pdf] [ps] [bib]

C. Schneider. Symbolic Summation Assists Combinatorics.
Sem. Lothar. Combin. 56, pp. 1-36. 2007. ISSN 1286-4889. Article B56b. [url] [pdf] [ps] [bib]

For typical examples see:

C. Schneider. Apery's Double Sum is Plain Sailing Indeed.
Electron. J. Combin. 14, pp. 1-3. 2007. ISSN 1077-8926. #N5. [url] [pdf] [ps] [bib]

Hypergeometric Summation Algorithms for High Order Finite Elements. Computing 78(3), pp. 235-249.
(joint with A. Becirovic, P. Paule, V. Pillwein, A. Riese, J. Schöberl.) [pdf] [ps] [bib]

Plane Partitions VI: Stembridge's TSPP Theorem. Advances in Applied Math. 34(4), pp. 709-739. 2005.
(joint with G. E. Andrews, P. Paule) [ps] [pdf] [bib]

Pad'e Approximations to the Logarithm II: Identities, Recurrences, and Symbolic Computation. Ramanujan Journal 11(2), pp. 139-158. 2006.
(joint with K. Driver, H. Prodinger, C. Schneider, A. Weideman) [url] [pdf] [ps] [bib]

. Pad'e Approximations to the Logarithm III: Alternative Methods and Additional Results. To appear in Ramanujan Journal 12(3), pp. 299-314. 2006.
(joint with K. Driver, H. Prodinger, C. Schneider, A. Weideman) [pdf] [ps] [bib]

Computer proofs of a new family of harmonic number identities. Adv. in Appl. Math. 31(2), pp. 359-378. 2003.
(joint with P. Paule) [pdf] [ps] [bib]

Remark: Most pdf-files are preliminary.

Here you find further literature about Sigma.

Sigma can be downloaded here.

If you have some summation problems which might be solvable with my package,
please do not hesitate to contact me under
Carsten.Schneider@risc.uni-linz.ac.at