Abstract
By the end of the 1960s it had been shown that a computer could find indefinite integrals with a competence exceeding that of typical undergraduates. This practical advance was backed up by algorithmic interpretations of a number of classical results on integration, and by some significant mathematical extensions to these same results. At that time it would have been possible to claim that all the major barriers in the way of a complete system for automated analysis had been breached. In this paper we survey the work that has grown out of the above-mentioned early results, showing where the development has been smooth and where it has spurred work in seemingly unrelated fields.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Caffo, M., Remidi, E. and Turrini, S. An algorithm for the analytic evaluation of a class of integrals These Proceedings.
Caviness, B. F. and Fateman, R. J. 1976 Simplification of Radical Expressions. Proc SYMSAC 76, pp. 329–38.
Coates, J. Construction of Rational Functions on a Curve. Proc. Cam. Phil. Soc. 68(1970) pp. 105–23.
Davenport, J. H. The Computerisation of Algebraic Geometry, These Proceedings.
Davenport, J. H. Algorithms for the Integration of Algebraic Functions, These Proceedings.
Epstein, H. I. Algorithms for Elementary Transcendental Function Arithmetic. Ph.D. Thesis, U. of Wisconsin, Madison, 1975.
Epstein, H. I. A natural structure theorem for complex fields To appear in SIAM J. Computing.
Fitch, J. P. private communication
Harrington, S. J. A new Symbolic Integration System in Reduce. Computer Journal 22(1979) 2. See also Utah Computational Physics Report 57, University of Utah, Nov. 1977 (revised May 1978).
Manove, M., Bloom, S. and Engelman, C. Rational functions in MATHLAB Proc IFIP conference on symbolic manipulation languages, Pisa 1968.
Moses, J. Symbolic Integration. Project MAC report 47, M.I.T., 1967.
Moses, J. The integration of a class of special functions with the Risch algorithm Memo MAC-M-421, 1969.
Moses, J. Symbolic Integration, the stormy decade. Communications ACM 14(1971) pp. 548–60.
Ng, E. W. Symbolic Integration of a class of Algebraic Functions. NASA Technical Memorandum 33-713 (1974).
Norman, A. C. and Moore, P. M. A. Implementing the New Risch Integration Algorithm. Proc. 4th. Int. Colloquium on Advanced Computing Methods in Theoretical Physics, Marseilles, 1977.
Risch, R. H. The Problem of Integration in Finite Terms. Trans. A.M.S. 139(1969) pp. 167–89(MR 38 #5759).
Risch, R. H. The Solution of the Problem of Integration in Finite Terms. Bulletin A.M.S. 76(1970) pp. 605–8.
Risch, R. H. A Generalization and geometric Interpretation of Liouville's Theorem on Integration in Finite Terms. IBM Research Report RC 4834 (6 May 1974).
Rosenlicht, M. On Liouville's Theory of Elementary functions. Pacific J. Math 65(1976), pp. 485–92.
Rothstein, M., and Caviness, B. F. A Structure Theorem for Exponential and Primitive Functions. To appear in SIAM J. Computing.
Schmitt P., Substitution methods for the automatic symbolic solution of differential equations of first order and first degree. These Proceedings.
Trager, B. M. 1976 Algebraic Factoring and Rational Function Integration. Proc. SYMSAC 76, pp. 219–26.
Trager, B. M. IBM Yorktown Heights Integration Workshop, 28–9 Aug. 1978.
Trager, B. M. Integration of Single Radical Extensions. These Proceedings.
Wang, P. S. An Improved Multivariate Polynomial Factoring Algorithm. Math Comp 32(1978) pp. 1215–31.
Yun, D. Y. Y. The Hensel Lemma in Algebraic Manipulation. M.I.T. Thesis MAC TR-138, 1973.
Yun, D. Y. Y. 1976 Algebraic Algorithms using p-adic techniques. Proc. SYMSAC 76, pp. 248–59.
Yun, D. Y. Y. Fast Algorithm for rational Function Integration. IBM Research Report RC 6563 (6 Jan. 1977).
Zippel, R. E. B. Radical Simplification Made Easy, Proc 1977 MACSYMA Users Conference (NASA CP-2012), pp. 361–7.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Norman, A.C., Davenport, J.H. (1979). Symbolic integration — the dust settles?. 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_90
Download citation
DOI: https://doi.org/10.1007/3-540-09519-5_90
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