ICMS 2016 Session 8: Symbolic Integration

ICMS 2016: Home, Sessions


Aim and Scope

The symbolic evaluation of integrals is a classic topic in computer algebra. This refers to indefinite integrals, i.e., finding the antiderivative of a given function, as well as to definite integrals. In the past decades tremendous progress has been made in this field, and the capabilities of today's computer algebra systems are truly impressive. As these capabilities are particularly based on table-lookup, there is still a considerable interest in algorithmic approaches to symbolic integration, which also nowadays is a very active field of research. In this session we want to discuss recent developments concerning the algorithmic evaluation of integrals, either in closed form or using some implicit representation, e.g., in terms of a differential equation satisfied by a given parametric integral.


Submission Guidelines