Symbolic summation and integration: algorithms, complexity, and applications

at to be held July 20-23, 2015 in Kalamata, Greece


Carsten Schneider
Eugene Zima


The purpose of this session is to present some recent developments in the area of symbolic summation and symbolic integration, and their applications in combinatorics, number theory, particle physics, etc. It is also to highlight current state of the art in both - complexity analysis of summation and integration algorithms, and improvements in the complexity of aforementioned algorithms. Reports on the research in symbolic solution of difference equations and related fields are also most welcome.


symbolic summation symbolic integration multi-sums and multiple integrals summation of special functions asymptotics of sums exact solution of recurrences solution of recurrences by means of generating functions Galois theory of difference equations combinatorial identities complexity of symbolic algorithms

Submissions should be sent to the session organizers following the ACA 2015 guidelines.


  1. Frederic Chyzak Explicit generating series for small-step walks in the quarter plane
    Abstract (Joint work with A. Bostan, M. van Hoeij, M. Kauers, L. Pech)
    slot 53 Tuesday, July 21, Track 1; 9:00 am
  2. Jürgen Gerhard Definite Integration of Rational Functions
    slot 57 Tuesday, July 21, Track 1; 9:30 am
  3. Manuel Kauers Creative Telescoping via Hermite Reduction
    Abstract (Joint work with S. Chen, H. Huang, Z. Li)
    slot 61 Tuesday, July 21, Track 1; 10:00 am
  4. Ngo Quoc Hoan Harmonic sums and polylogarithms at negative multiple-indices
    Abstract (Joint work with G.H.E. Duchamp and Hoang Ngoc Minh)
    slot 65 Tuesday, July 21, Track 1; 10:30 am
  5. Erik Panzer Symbolic integration of multiple polylogarithms
    slot 105 Wednesday, July 22, Track 2; 9:00 am
  6. Clemens Raab Algorithms in symbolic integration
    slot 109 Wednesday, July 22, Track 2; 9:30 am
  7. Mark Round Refined Holonomic Summation Meets Particle Physics
    Abstract (Joint work with J. Blümlein and C. Schneider)
    slot 113 Wednesday, July 22, Track 2; 10:00 am
  8. Carsten Schneider Refined Parameterized Telescoping Algorithms
    slot 117 Wednesday, July 22, Track 2; 10:30 am
  9. Eugene Zima Dispersion and complexity of indefinite summation
    slot 121 Wednesday, July 22, Track 2; 11:30 am

Go to:
ACA'2015 main page
Conferences on Applications of Computer Algebra main page