**
Time: Di., 12:00-13:30 Uhr, HS 11 (Vorlesung); Di., 13:45-14:30, HS 11 (Übung)
**

The seminar language is English.

The lecture can be viewed as an algorithmic supplement to the
classical book "Concrete Mathematics" by Graham, Knuth, and Patashnik.
Namely, it presents computer algebra tools for dealing with four
mathematical concepts which play a fundamental role in many different
areas of mathematics and computer science: symbolic sums, recurrence
(difference) equations, generating functions, and asymptotic
estimates. Their key features, in isolation or in combination, their
mastery by paper and pencil or by computer programs, and their
applications, also to "real world problems" like e.g. the analysis of
algorithms, are studied.

Literature: "The Concrete Tetrahedron" (Springer) by Manuel Kauers and Peter Paule