论文信息 - Integration: Solving the Risch differential equation

Integration: Solving the Risch differential equation

We describe the first complete implementation of Davenport's algorithm [Davenport86] for the solution of the Risch differential equation. Our code forms part of a new integration package written in REDUCE which operates over algebraic number fields.

John A. Abbott

[1] James H. Davenport. The Risch Differential Equation Problem , 1986, SIAM J. Comput..

[2] John Fitch. User-based integration software , 1981, SYMSAC '81.

[3] B. F. Caviness,et al. A Structure Theorem for Exponential and Primitive Functions , 1979, SIAM J. Comput..

[4] R. Risch. The problem of integration in finite terms , 1969 .

[5] James H. Davenport. The Parallel Risch Algorithm (I) , 1982, EUROCAM.

[6] James H. Davenport,et al. On the parallel Risch Algorithm (II) , 1985, TOMS.