Integration - What do we want from the theory?
EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
Some symbolic computing links to the NAG numeric library
ACM SIGSAM Bulletin
Fast floating-point processing in Common Lisp
ACM Transactions on Mathematical Software (TOMS)
SENAC: a high-level interface for the NAG library
ACM Transactions on Mathematical Software (TOMS)
Hi-index | 0.00 |
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.