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

- Lecturer: Ralf Hemmecke
- Lecturer: Wolfgang Schreiner
- Lecturer: Burkhard Zimmermann

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

- Lecturer: Wolfgang Schreiner
- Lecturer: Janos Sztrik

Topic of the Course:

- Challenges of Multicore Programming
- Multicore Designs from some of the Leading Chip Manufacturers
- Roles of the Operating Systems
- Process Programming
- Thread Programming
- Communication and Synchronization
- Discussion some Thread-Safe C++ Component Libraries
- Multicore Software Design

- Lecturer: Karoly Bosa

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

The lecture is directed to an audience with serious interest in methods (classical and computer algebra) for symbolic summation and integration and the study of special functions. In this semester a variety of topics closely related to up-to-date research will be discussed, including analytic aspects.

Requirements: Active knowledge from "Analytische Kombinatorik"

and "Analysis I".

- Lecturer: Peter Paule