You are here: Home / Projects / F50-11: Certificate-Free Summation and Integration

F50-11: Certificate-Free Summation and Integration

Principal Investigator: Christoph Koutschan

Combinatorial identities, integrals involving special functions, and other summation and integration formulas are nowadays frequently evaluated resp. proved by computer algebra methods that are based on recurrence equations or differential equations. The method of choice to produce such equations is called creative telescoping. It suffers from the fact that most available algorithms compute, in addition to the telescoper, i.e., the operator representing the sought equation, a so-called certificate. The latter, however, is not needed in many situations. The goal of the proposed project is to design algorithms that avoid the computation of the certificate and therefore are expected to be much more efficient than existing algorithms. In special cases, such as rational functions, hypergeometric terms, hyperexponential functions, this hope was already fulfilled. We aim at generalizing these results to the larger class of holonomic functions and to difference and differential fields, yielding valuable tools for solving problems from combinatorics and other areas of mathematics. By means of the holonomic ansatz, we also obtain a powerful machinery for evaluating symbolic determinants, which arise frequently in combinatorial problems.

Christoph Koutschan

Upcoming Events
RADCOR 2017 - 13th International Symposium on Radiative Corrections (Applications of Quantum Field Theory to Phenomenology) Sep 24, 2017 - Sep 29, 2017 — Hotel Hollweger St. Gilgen
Programme on "Algorithmic and Enumerative Combinatorics" Oct 16, 2017 - Nov 24, 2017 — Erwin Schrödinger International Institute for Mathematics and Physics
Workshop on "Enumerative Combinatorics" May 13, 2018 - May 19, 2018 — Mathematisches Forschungsinstitut Oberwolfach
AEC Summer School 2018 Jul 30, 2018 - Aug 03, 2018
Upcoming events…