An algorithm for the integration of elementary functions

  • Manuel Bronstein
Advanced Algorithms
Part of the Lecture Notes in Computer Science book series (LNCS, volume 378)


Trager (1984) recently gave a new algorithm for the indefinite integration of algebraic functions. His approach was “rational” in the sense that the only algebraic extension computed is the smallest one necessary to express the answer. We outline a generalization of this approach that allows us to integrate mixed elementary functions. Using only rational techniques, we are able to normalize the integrand, and to check a necessary condition for elementary integrability.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Bronstein, M. (1987), “Integration of Elementary Functions,” Ph.D. thesis, Dpt. of Mathematics, Univ. of California, Berkeley.Google Scholar
  2. Chevalley, C. (1951), “Algebraic Functions of One Variable,” Math. Surveys Number VI, American Mathematical Society, New York.Google Scholar
  3. Davenport, J.H. (1981), “On the Integration of Algebraic Functions,” Lecutre Notes in Computer Science No. 102, Springer-verlag, New York.Google Scholar
  4. Davenport, J.H. (1984), Intégration Algorithmique des Fonctions Elémentairement Transcendantes sur une Courbe Algébrique, Annales de l'Institut Fourier 34, fasc.2, 271–276.Google Scholar
  5. Davenport, J.H. (1986), The Risch Differential Equation Problem, SIAM Journal on Computing 15, No.4, 903–916. Also Technical Report 83-4, Dpt. of Computer and Information Sciences, Univ. of Delaware.Google Scholar
  6. Hardy, G.H. (1916), “The Integration of Functions of a Single Variable,” Cambridge U. Press, Cambridge, England.Google Scholar
  7. Moses, J. (1971), Symbolic Integration: the Stormy Decade, Communications of the ACM 14, 548–560.Google Scholar
  8. Risch, R. (1968), On the Integration of Elementary Functions which are built up using Algebraic Operations,, Report SP-2801/002/00. System Development Corp., Santa Monica, CA.Google Scholar
  9. Risch, R. (1969a), Further Results on Elementary Functions, Report RC-2402. IBM Corp., Yorktown Heights, NY.Google Scholar
  10. Risch, R. (1969b), The Problem of Integration in Finite Terms, Transactions American Mathematical Society 139, 167–189.Google Scholar
  11. Risch, R. (1970), The Solution of the Problem of Integration in Finite Terms, Bulletin American Mathematical Society 76, 605–608.Google Scholar
  12. Rosenlicht, M. (1972), Integration in Finite Terms, American Mathematical Monthly 79, 963–972.Google Scholar
  13. Rothstein, M. (1977), A New Algorithm for the Integration of Exponential and Logarithmic Functions, in “Proceedings 1977 MACSYMA Users Conference,” NASA Pub. CP-2012, pp. 263–274.Google Scholar
  14. Trager, B. (1984), “Integration of Algebraic Functions,” Ph.D. thesis, Dpt. of EECS, Massachusetts Institute of Technology.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Manuel Bronstein
    • 1
  1. 1.Department of MathematicsUniversity of CaliforniaBerkeley

Personalised recommendations