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.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.