The group * Computer Algebra for QFT * (team
leader: Carsten Schneider) aims at developing flexible and
efficient symbolic summation and integration techniques, as
well as special function algorithms that assist in the
calculation of Feynman integrals arising in the context of
Elementary Quantum Field Theory.

This goal is attacked in intensive cooperation with the
Theory Group of the Deutsches Elektronen Synchrotron DESY,
Zeuthen (team leader: Johannes Blümlein). A cooperation
contract between the Johannes Kepler University (JKU) and
DESY was signed in February 2007 and has been prolonged for
five years in February 2012.

Beyond the application of these methods, algorithms and
tools in Quantum Field Theory, the group applies these
methods also in other fields, such as combinatorics
(simplification of enumerative problems) or number theory
(multiple zeta values, irrationality proofs, new relations
between sums).

The group takes part in the Special Research Program (SFB,
in short for the German name SpezialForschungsBereich) Algorithmic and
Enumerative Combinatorics which will start in March
2013. It is a special effort of three institutes, the Faculty of
Mathematics (University of
Vienna), the Institute for
Discrete Mathematics and Geometry (Technical University Vienna),
and the Research Institute for Symbolic Computation
(Johannes Kepler University Linz) funded by the Austrian
Science Funds (FWF).