The risch algorithms of MACSYMA and SENAC

Publisher Website
Google Scholar
Abstract
The purpose of this paper is to report on a computer implementation of the Risch algorithm for the symbolic integration of rational functions containing nested exponential and logarithms. For the class of transcendental functions, the Risch algorithm [4] represents a practical method for symbolic integration. Because the Risch algorithm describes a decision procedure for transcendental integration it is an ideal final step in an integration package. Although the decision characteristic cannot be fully realised in a computer system, because of major algebraic problems such as factorisation, zero-equivalence and simplification, the potential advantages are considerable.

This publication has 1 reference indexed in Scilit: