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.

In dieser LVA behandeln wir den formalen Berechenbarkeitsbegriff anhand von rekursiven Funktionen und Turingmaschinen. Darauf aufbauend befassen wir uns mit der Entscheidbarkeit bzw. Unentscheidbarkeit von Problemen, mit Komplexitätsklassen und vollständigen Problemen.
An introduction to the practical aspects of working in computer-based environments for scientists and engineers.
This course gives a survey on the use of formal methods for the development of reliable software using freely available tools.

The purpose of the meetings is to discuss progress made in
master or PhD theses advised by the lecturer.

In this seminar, we explore current research and systems for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...).

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.

Requirements: Active knowledge from "Analytische Kombinatorik" and "Computer Algebra I"

The lecture will be in English.

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.