International Symposium on Symbolic and Algebraic Manipulation

EUROSAM 1979: Symbolic and Algebraic Computation pp 415-425 | Cite as

Algorithms for the integration of algebraic functions

  • J. H. Davenport
10. Integration
Part of the Lecture Notes in Computer Science book series (LNCS, volume 72)


The problem of finding elementary integrals of algebraic functions has long been recognised as difficult, and has sometimes been thought insoluble. Risch [18] stated a theorem characterising the integrands with elementary integrals, and we can use the language of algebraic geometry and the techniques of [2] to yield an algorithm that will always produce the integral if it exists. We explain the difficulty in the way of extending this algorithm, and outline some ways of solving it. Using work of Manin [9, 10] we are able to solve the problem in all cases where the algebraic expressions depend on a parameter as well as on the variable of integration.


Elliptic Curf Abelian Variety Algebraic Curve Algebraic Curf Finite Order 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Cassels, J.W.S., Diophantine Equations with Special Reference to Elliptic Curves. Jour. L.M.S. 41 (1966) pp. 193–291.Google Scholar
  2. [2]
    Davenport,J.H., The Computerisation of Algebraic Geometry, These Proceedings.Google Scholar
  3. [3]
    Davenport,J.H., Ph.D. Thesis, University of Cambridge, in preparation.Google Scholar
  4. [4]
    Demjanenko, V.A., On the Torsion of Elliptic Curves. Izv. Akad. Nauk. SSSR Ser. Mat. 35(1971) pp. 280–307 (MR 44 #2755).Google Scholar
  5. [5]
    Hardy,G.H., The Integration of Functions of a Single Variable (2nd. ed.). Cambridge Tract 2, C.U.P., 1916.Google Scholar
  6. [6]
    Lang, S. & Neron, A., Rational Points of Abelian Varieties over Function Fields. American J. of Math. 81(1959) pp. 95–118.Google Scholar
  7. [7]
    Liouville, J., Premier Mémoire sur la Détermination des Intégrales dont la Valeur est Algébrique. Journal de l'Ecole Polytechnique 14(1833) cahier 22, pp. 124–148Google Scholar
  8. [8]
    Liouville, J., Second Mémoire sur la Détermination des Intégrales dont la Valeur est Algébrique. Journal de l'Ecole Polytechnique 14(1833) cahier 22, pp. 149–193Google Scholar
  9. [9]
    Manin, Ju. I., Algebraic Curves over Fields with Differentiation. Izv. Akad. Nauk. SSSR Ser. Mat. 22(1958) pp. 737–756 (translated in AMS Trans. Ser. 2 37(1964) pp. 59–78).Google Scholar
  10. [10]
    Manin, Ju. I., Rational Points of Algebraic Curves over Function Fields. Izv. Akad. Nauk. SSSR Ser. Mat. 27(1963) pp. 1395–1440 (translated in AMS Trans. Ser. 2 50(1966) pp. 189–234).Google Scholar
  11. [11]
    Mazur, B., Rational Isogenies of Prime Degree. Inventiones Mathematicae 44(1978) pp. 129–162. (See also Mazur,B. Rational Points on Modular Curves in Modular Functions of 1 Variable V, Springer lecture Notes in Mathematics 601, 1977 (Proceedings International Conference on Modular Functions Bonn 1976) pp. 107–148, where Theorem 1 is the Theorem 2 of the above reference.)Google Scholar
  12. [12]
    Mordell, L.J., On the Rational Solutions of the Indeterminate Equations of the third and fourth Degrees. Proc. Cam. Phil. Soc. 21(1922) pp. 179–192.Google Scholar
  13. [13]
    Moses,J., Symbolic Integration. Project MAC report 47, M.I.T., 1967.Google Scholar
  14. [14]
    Moses, J., Symbolic Integration, the stormy decade. Communications ACM 14(1971) pp. 548–560.Google Scholar
  15. [15]
    Ng,E.W., Symbolic Integration of a class of Algebraic Functions. NASA Technical Memorandum 33–713 (1974).Google Scholar
  16. [16]
    Norman, A.C., Computing with Formal Power Series. ACM Transactions on Mathematical Software 1(1975) pp. 346–356Google Scholar
  17. [17]
    Risch, R.H., The Problem of Integration in Finite Terms. Trans. A.M.S. 139(1969) pp. 167–189 (MR 38 #5759).Google Scholar
  18. [18]
    Risch, R.H., The Solution of the Problem of Integration in Finite Terms. Bulletin AMS 76(1970) pp. 605–608.Google Scholar
  19. [19]
    Shimura,G. & Taniyama,A. Complex Multiplication of Abelian Varieties and its Applications to Number Theory. Publ. Math. Soc. Japan 6(1961).Google Scholar
  20. [20]
    Weil, A., L'Arithmétique sur les Courbes Algébriques. Acta. Math 52(1928) pp. 281–315.Google Scholar
  21. [21]
    Yun,D.Y.Y., The Hensel Lemma in Algebraic Manipulation. M.I.T. Thesis MAC TR-138, 1973.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • J. H. Davenport
    • 1
  1. 1.Computer LaboratoryUniversity of CambridgeCambridge

Personalised recommendations