The concrete tetrahedron
Manuel Kauers · 2011
We give an overview over computer algebra algorithms for dealing with symbolic sums, recurrence equations, generating functions, and asymptotic estimates, and we will illustrate how to apply these algorithms to problems arising in discrete mathematics.