Symbolic summation assists combinatorics. Schneider, Carsten (2006) Séminaire Lotharingien de Combinatoire [electronic only]