An introduction to the Risch integration algorithm

Abstract

Risch's decision procedure for determining the integrability in closed form of the elementary functions of the calculus is presented via examples. The exponential and logarithmic cases of the algorithms had been implemented for the MACSYMA system several years ago. The implementation of the algebraic case of the algorithm is the subject of current research.