Descrip.

RESUMEN

In this paper we discuss a new algorithm for symbolic integration of functional expressions obtained (roughly speaking) by repeatedly applying the logarithm and exponential functions to the result of adding, subtracting, multiplying or dividing expressions already obtained in this manner or rational functions in the integration variable. No restriction is placed on the constant field, except that arithmetic on this field be recursive, and that  no functional expression obtainable from our expressions above by addition, subtraction, multiplication or division be a constant.