The concrete tetrahedron
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.