TO THE PROBLEM OF CONSTRUCTING AN ALGORITHM FOR SYMBOLIC INTEGRATION
The work is devoted to the integration of the compositions of elementary functions. The integral is the sum of a polynomial and the rational part.Transcendental functions, which are included in these parts - is logarithmic andexponential functions of a differential field. We consider only the integral part of the polynomial. To solve this problem, the central role plays the Liouville theorem. These algorithms are used in the computer algebra system Mathpar.