https://risc.jku.at/pj/symbolic-summation-and-combinatorial-identities-sfb-f1305-1/
Symbolic Summation and Combinatorial Identities [SFB F1305-1] - RISC - Johannes Kepler University
Nov 6, 2018 - Symbolic Summation and Combinatorial Identities [SFB F1305-1] (Project Leader: Peter Paule). P.Paule. Budget: 178.775,-- Eur.