Integration in Finite Terms

  • A. C. Norman
Part of the Computing Supplementum book series (COMPUTING, volume 4)


A survey on algorithms for integration in finite terms is given. The emphasis is on indefinite integration. Systematic methods for rational, algebraic and elementary transcendental integrands are reviewed. Heuristic techniques for indefinite integration, and techniques for definite integration and ordinary differential equations are touched on only briefly.


Rational Function Regular Part Integration Algorithm Differential Field Finite Term 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Belovari, G., Campbell, J. A.: A Logic Programming Framework for Generating Contours of Symbolic Integration. Dept. Computer Science, University of Exeter, England, 1980.Google Scholar
  2. [2]
    Davenport, J.: Ph.D. thesis, University of Cambridge. Lecture Notes on Computing, Vol. 102. Berlin-Heidelberg-New York: Springer 1981.Google Scholar
  3. [3]
    Harrington, S. J.: A New Symbolic Integration System for Reduce. Computer Journal 22 (1979).Google Scholar
  4. [4]
    Horowitz, E.: Ph.D. thesis, University of Wisconsin, Madison, 1969.Google Scholar
  5. [5]
    Horowitz, E.: Algorithms for Partial Fraction Decomposition and Rational Integration. SYMSAM 1971, 441 –457.Google Scholar
  6. [6]
    Kovacic, J. K.: An Algorithm for Solving Second Order Linear Homogeneous Differential Equations. Preprint, Brooklyn College, City University of New York.Google Scholar
  7. [7]
    Moses, J.: Symbolic Integration. Report MAC-TR-47, Project MAC, MIT 1967.Google Scholar
  8. [8]
    Norman, A. C., Moore, P. M. A.: Implementing the New Risch Integration Algorithm. MAXIMIN 1977, 99–110.Google Scholar
  9. [9]
    Risch, R. H.: The Problem of Integration in Finite Terms. Trans. AMS 139, (1969).Google Scholar
  10. [10]
    Risch, R. H.: The Solution of the Problem of Integration in Finite Terms. Bull. AMS 76, (1970).Google Scholar
  11. [11]
    Rothstein, M.: Ph.D. thesis, University of Wisconsin, Madison, 1976.Google Scholar
  12. [12]
    Saunders, B. D.: An Implementation of Kovacic’s Algorithm for Solving Second Order Linear Homogeneous Differential Equations. SYMSAC 1981, 105–108.Google Scholar
  13. [13]
    Schmidt, P.: Substitution Methods for the Automatic Solution of Differential Equations of the 1st Order and 1st Degree. EUROSAM 1979, 164–176.Google Scholar
  14. [14]
    Singer, M. F., Saunders, B. D., Caviness, B. F.: An Extension of Liouville’s Theorem on Integration in Finite Terms. SYMSAC 1981, 23–24.Google Scholar
  15. [15]
    Trager, B. M.: Integration of Simple Radical Extensions. EUROSAM 1979, 408–414.Google Scholar
  16. [16]
    Trager, B. M.: Algebraic Factoring and Rational Function Integration. SY MSAC 1976, 219–226.Google Scholar
  17. [17]
    Trager, B. M.: Ph.D. thesis, MIT (forthcoming).Google Scholar
  18. [18]
    Wang, P. S.: Symbolic Evaluation of Definite Integrals by Residue Theory in MACSYMA. Proc. IFIP-74. Amsterdam: North-Holland 1974.Google Scholar
  19. [19]
    Watanabe, S. A.: Technique for Solving Ordinary Differential Equations Using Riemann’s P-Functions. SYMSAC 1981, 36–43.Google Scholar

Copyright information

© Springer-Verlag Wien 1982

Authors and Affiliations

  • A. C. Norman
    • 1
  1. 1.Computer LaboratoryUniversity of CambridgeCambridgeUK

Personalised recommendations