The lecture will be in English. The learning goal is to develop basic skills and techniques which are relevant to problem solving when dealing with formulas related to enumeration, in particular, for the analysis of algorithms.

A major emphasis of the lecture is on putting computer algebra into action. Recently developed algorithms will be discussed, for instance, the Steele-prized summation algorithm by Zeilberger.Requirements: Basic knowledge from analysis and linear algebra.

Note: Within the frame of this lecture various topics for a diploma thesis are offered.

- Lecturer: Peter Paule

- Lektor: Ralf Hemmecke
- Lektor: Johannes Middeke
- Lektor: Wolfgang Schreiner

- Lecturer: Karoly Erdei
- Lecturer: Ralf Hemmecke
- Lecturer: Wolfgang Schreiner
- Lecturer: Wolfgang Windsteiger

- Lecturer: Wolfgang Schreiner
- Lecturer: Janos Sztrik

The purpose of the meetings is to discuss progress made in

master or PhD theses advised by the lecturer.

- Lecturer: Peter Paule

- Lecturer: Franz Lichtenberger
- Lecturer: Wolfgang Schreiner

The seminar language is English.

The overall goal of this seminar is to study aspects of recent algorithmic developments, and to discuss progress made in various research projects.

Major topics of interest are: symbolic summation and integration, special functions, and related themes like difference equations, generating functions, etc. The main focus is on the design of new computer algebra algorithms.

Despite its research character, the structure of the seminar is such that ambitious students, being new to the area, have a chance to contribute in an active manner. Usually this happens in the form of approx. 120 minutes talks.

- Lecturer: Peter Paule

In many different areas of mathematics one meets special function. For example: gamma function, (q-)binomial coeeficients, exp/log- and sin/cos-integrals, Airy and Bessel functions, (q-)hypergeometric series, or orthogonal polynomials. The lecture discusses elementary properties of such functions. A particular emphasis is put on computer algebra algebra algorithms for proving identities.

- Lecturer: Peter Paule