An implementation of Karr's summation algorithm in Mathematica. Schneider, Carsten — 1999 Séminaire Lotharingien de Combinatoire [electronic only]
Symbolic summation assists combinatorics. Schneider, Carsten — 2006 Séminaire Lotharingien de Combinatoire [electronic only]
Apéry's double sum is plain sailing indeed. Schneider, Carsten — 2007 The Electronic Journal of Combinatorics [electronic only]
The summation package Sigma: underlying principles and a rhombus tiling application. Schneider, Carsten — 2004 Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
Automated proofs for some Stirling number identities. Kauers, Manuel; Schneider, Carsten — 2008 The Electronic Journal of Combinatorics [electronic only]
Generalized reciprocity laws for sums of harmonic numbers. Kuba, Markus; Prodinger, Helmut; Schneider, Carsten — 2008 Integers