Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Symbolic and Algebraic Manipulation

EUROSAM 1979: Symbolic and Algebraic Computation pp 426–430Cite as

An extension of liouville's theorem

  • 10. Integration
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 72))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. E.R. Kolchin, “Algebraic Groups and Algebraic Dependence,” Amer. J. Math. 90, (1968), 1151–1104.

    Google Scholar 

  2. J. Liouville, “Sur la detérmination des integrales dont la valeur est algébrique,” J. École Polytech. 14, (1833), 124–193.

    Google Scholar 

  3. J. Liouville, “Memoire sur les transcendantes elliptiques de premiére et seconde espéce, considerées comme fonctions de leur amplitude,” J. École Polytech. 14, (1833), 124–193.

    Google Scholar 

  4. J. Moses, Symbolic Integration, Ph. D. thesis, Massachusetts Institute of Technology, (1967).

    Google Scholar 

  5. J. Moses, “Toward a General Theory of Special Functions,” C. ACM 15, (1972), 550–554.

    Google Scholar 

  6. A. Ostrowski, “Sur les relations algébriques entre les intégrales indéfinies,” Acta Mathematica 78, (1946), 315–318.

    Google Scholar 

  7. R. H. Risch, “The problem of integration in finite terms,” Trans. AMS 139, (1969), 162–189.

    Google Scholar 

  8. R. H. Risch, “Solution of the problem of integration in finite terms,” Bull. AMS 76, (1970), 605–608.

    Google Scholar 

  9. M. Rosenlicht, “Integration in Finite Terms,” Amer. Math. Monthly (1972), 963–972.

    Google Scholar 

  10. M. Rothstein, Aspects of Symbolic Integration and Simplification of Exponential and Primitive Functions, Ph.D. thesis, University of Wisconsin — Madison, (1976).

    Google Scholar 

  11. J. R. Slagle, A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus, Symbolic Automatic Integrator (SAINT), Ph.D. thesis, Massachusetts Institute of Technology, (1961).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratory for Computer Science, Massachusetts Institute of Technology, 02139, Cambridge, Mass, USA

    Joel Moses & Richard Zippel

Authors
  1. Joel Moses
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Richard Zippel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Edward W. Ng

Rights and permissions

Reprints and permissions

Copyright information

© 1979 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Moses, J., Zippel, R. (1979). An extension of liouville's theorem. In: Ng, E.W. (eds) Symbolic and Algebraic Computation. EUROSAM 1979. Lecture Notes in Computer Science, vol 72. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09519-5_93

Download citation

  • DOI: https://doi.org/10.1007/3-540-09519-5_93

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-09519-4

  • Online ISBN: 978-3-540-35128-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation