On the parallel Risch Algorithm (II)
暂无分享,去创建一个
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.
[1] James H. Davenport,et al. Integration -- the dust settles? (invited) , 1979, EUROSAM.
[2] James H. Davenport,et al. Symbolic integration — the dust settles? , 1979 .
[3] James H. Davenport. The Parallel Risch Algorithm (I) , 1982, EUROCAM.
[4] R. Risch. The problem of integration in finite terms , 1969 .