On the parallel Risch Algorithm (II)
James H. Davenport, Barry Trager · ACM Transactions on Mathematical Software · 1985
It is proved that, under the usual restrictions, the denominator of the integral of a purely logarithmic function is the expected one, that is, all factors of the denominator of the integrand have their multiplicity decreased by one. Furthermore, it is determined which new logarithms may appear in the integration.