Symbolic summation and integration: algorithms, complexity, and applications

to be held July 15-18, 2020 in Athens, Greece


Carsten Schneider (RISC, Johannes Kepler University Linz)
Eugene Zima (WLU, Waterloo, Canada)


The purpose of this session is to reflect on recent progress in the area of symbolic summation and symbolic integration, and their applications in combinatorics, number theory, particle physics, etc. It is also to highlight the 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 creative telescoping symbolic integration multi-sums and multiple integrals summation of special functions asymptotic behavior of sums exact solutions of first and higher order recurrences solutions of recurrences by means of generating functions Galois theory of difference equations complexity of symbolic algorithms

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

Call for Contributions

If you are interested in presenting your recent work in this session, please send your title and abstract to one of the session organizers, no later than April 23, 2020; see the section important dates on the ACA homepage. Please use the LaTeX template for your submission.

Go to:
ACA'2020 main page