Skip to main content
SpringerLink
Log in

Integration — What do we want from the theory?

  • Algorithms 1 — Miscellaneous
  • Conference paper
  • First Online:
Computer Algebra (EUROCAL 1983)

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

Included in the following conference series:

Abstract

The theory of integration has moved a long way in the last fourteen years, though not far enough to satisfy the demands placed on it by its customers. This paper outlines what problems have yet to be solved, and tries to explain why they are not trivial.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Davenport, J.H., On the Integration of Algebraic Functions. Springer Lecture Notes in Computer Science 102, Springer-Verlag, Berlin-Heidelberg-New York, 1981. Zbl. 471.14009.

    Google Scholar 

  2. Davenport, J.H., On the Parallel Risch Algorithm (I). Proc. EUROCAM 82 (Springer Lecture Notes in Computer Science, Springer-Verlag, Berlin-Heidelberg-New York, 144, 1982) pp. 144–157.

    Google Scholar 

  3. Davenport, J.H., Les Equations Différentielles Ordinaires de Risch sur une Courbe Algébrique. To appear (and I.M.A.G. Research Report, April 1983).

    Google Scholar 

  4. Hardy,G.H., The Integration of Functions of a Single Variable (2nd. ed.). Cambridge Tract 2, C.U.P., 1916.

    Google Scholar 

  5. Hermite, E., Sur l'intégration des fractions rationnelles. Nouvelles Annales de Mathématiques, 2 Sér., 11(1872) pp. 145–148. Annales Scientifiques de l'Ecole Normale Supérieure, 2 Sér., 1(1872) pp. 215–218.

    Google Scholar 

  6. Loos, R., Computing in Algebraic Extensions. Computing Supplementum 4 (ed. B. Buchberger et al.), Springer-Verlag, Wien-New York, 1982, pp. 173–187.

    Google Scholar 

  7. Moses, J. & Zippel, R.E., An Extension of Liouville's Theorem. Proc. EUROSAM 79 (Springer Lecture Notes in Computer Science 72, Springer-Verlag, Berlin-Heidelberg-New York, 1979) pp. 426–430.

    Google Scholar 

  8. Norman, A.C., Integration in Finite Terms. Computing Supplementum 4 (ed. B. Buchberger et al.), Springer-Verlag, Wien-New York, 1982, pp. 57–69.

    Google Scholar 

  9. Risch, R.H., The Problem of Integration in Finite Terms. Trans. A.M.S. 139(1969) pp. 167–189. MR 38(1969) #5759. Zbl. 184,67.

    Google Scholar 

  10. Risch, R.H., The Solution of the Problem of Integration in Finite Terms. Bull. A.M.S. 76(1970) pp. 605–608. MR 42(1971) #4530.

    Google Scholar 

  11. Rothstein, M., Aspects of Symbolic Integration and Simplification of Exponential and Primitive Functions. Ph.D. Thesis, University of Wisconsin, Madison, 1976 (Xerox University Microfilms 77-8809).

    Google Scholar 

  12. Rothstein, M., A New Algorithm for the Integration of Exponential and Logarithmic Functions. Proc. 1977 MACSYMA Users' Conference (NASA Publication CP-2012, National Technical Information Service, Springfield, Virginia, 1977) pp.263–274.

    Google Scholar 

  13. Rothstein, M. & Caviness, B.F., A Structure Theorem for Exponential and Primitive Functions. SIAM J. Comp 8(1979) pp. 357–367. MR 80m:12028.

    Google Scholar 

  14. Singer, M.F., Saunders, B.D. & Caviness, B.F., An Extension of Liouville's Theorem on Integration in Finite Terms. Proc. SYMSAC 81 (ACM, New York, 1981), pp. 23–24. Zbl. 482.12008.

    Google Scholar 

  15. Trager, B.M., Algebraic Factoring and Rational Function Integration. Proc. SYMSAC 76 (ed. R.D. Jenks), ACM. New York, 1976, pp. 219–226.

    Google Scholar 

  16. Trager, B.M., Integration of Simple Radical Extensions. Proc. EUROSAM 79 (Springer Lecture Notes in Computer Science 72, Springer-Verlag, Berlin-Heidelberg-New York, 1979) pp. 408–414. MR 82j:12032.

    Google Scholar 

  17. Winograd, S., On Multiplication in Algebraic Extension Fields. Theor. Comp. Sci. 8(1979) pp. 359–377.

    Google Scholar 

  18. Winograd, S., On the Multiplication of Polynomials Modulo a Polynomial. SIAM J. Comp. 9(1980) pp. 225–229. Zbl. 446.68032.

    Google Scholar 

  19. Yun, D.Y.Y., Fast Algorithm for Rational Function Integration. Proc. IFIP 77 (ed. B. Gilchrist), North-Holland, Amsterdam-New York-Oxford. 1977. pp. 493–498 [IBM Research Report RC 6563 6th. January 1977].

    Google Scholar 

  20. Zejli,H., Private Communication.

    Google Scholar 

  21. Zolotarev,E., Sur la méthode d'intégration de M. Tchebycheff. Math. Annalen Band V Sér 560. Journal de Mathématiques 2 Sér. 19(1874).

    Google Scholar 

Download references

Author information

Author notes

  1. J. H. Davenport

    Present address: Emmanuel College, Cambridge, England

Authors and Affiliations

  1. Equipe d'Analyse Numérique, Laboratoire I.M.A.G., B.P.68, 38402, Saint Martin d'Hères, France

    J. H. Davenport

Authors
  1. J. H. Davenport
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. A. van Hulzen

Rights and permissions

Reprints and permissions

Copyright information

© 1983 Springer-Verlag

About this paper

Cite this paper

Davenport, J.H. (1983). Integration — What do we want from the theory?. In: van Hulzen, J.A. (eds) Computer Algebra. EUROCAL 1983. Lecture Notes in Computer Science, vol 162. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-12868-9_86

Download citation

  • DOI: https://doi.org/10.1007/3-540-12868-9_86

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-12868-7

  • Online ISBN: 978-3-540-38756-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation