A new symbolic integration system in reduce

Abstract

A new integration system, employing both algorithmic and pattern match integration schemes is presented. The organisation of the system differs from that of earlier programs in its emphasis on the algorithmic approach to integration, its modularity and its ease of revision. The new Norman-Risch algorithm and its implementation at the University of Cambridge are employed, supplemented by a powerful collection of simplification and transformation rules. The facility for user defined integrals and functions is also included. The program is both fast and powerful, and can be easily modified to incorporate anticipated developments in symbolic integration.