skip to main content
article
Free access

Implications of symbolic computation for the teaching of mathematics

Published: 01 August 1976 Publication History

Abstract

The experience gained in teaching an experimental computer calculus course using the symbolic manipulation system MACSYMA is described. Interesting course material is presented to show how symbolic computation on computer can facilitate the teaching and learning of calculus. Some other college mathematics topics that could benefit from symbolic systems are indicated. The advantages and difficulties of such an approach are discussed.

References

[1]
Allen, R. C. and Wing G. M., Problems for computer-oriented calculus course. Prentice-Hall, Englewood Cliffs, NJ, 1973.
[2]
Bogen, R. A., et al, MACSYMA Reference Manual, Version 8, Laboratory for Computer Science (formerly Project MAC), MIT, Cambridge, MA, November 1975.
[3]
Fateman, R. J., "Essays in Algebraic Simplification", Tech. Report 95, Laboratory for Computer Science (formerly Project MAC), MIT, Cambridge, MA, April 1972.
[4]
Greenspan, H. P. and Benney, D. J., Calculus - an introduction to applied mathematics, McGraw-Hill, NY, 1973.
[5]
Griesmer, J. H., "Symbolic Mathematical Computation - A Survey", AAS Annual Meeting, Boston, February, 1976.
[6]
Jenks, R. D., ed., Proceedings of EUROSAM'74, SIGSAM Bulletin, Vol. 3, No. 3, August 1974.
[7]
Leinbach, L. C., Calculus with the Computer, a laboratory manual, Prentice-Hall, Englewood Cliffs, New Jersey, 1974.
[8]
Lynch, R. V., Ostberg, D. R. and Kuller, R. G., Calculus with computer applications. Xerox College Publishing. Lexington, Mass., 1973.
[9]
McNeary, S. S., Introduction to computational methods for students of calculus. Prentice-Hall, Englewood Cliffs, NJ, 1973.
[10]
Moses, J., "Symbolic Integration - The Stormy Decade," CACM, Vol. 14, No. 8, pp. 548--560.
[11]
Moses, J., "MACSYMA - The Fifth Year", Proceedings of EUROSAM'74, Stockholm, Sweden, August 1--2, 1974, pp. 105--110.
[12]
Papert, S., "A Computer Laboratory for Elementary Schools", Artificial Intelligence Memo No. 246, MIT, October 1971.
[13]
Papert, S., "Uses of Technology to Enhance Education", Artificial Intelligence Memo No. 298, MIT, June 1973.
[14]
Petrick, S. R., Proceedings of the Second Symposium on Symbolic and Algebraic Manipulation, ACM, NYC, 1971.
[15]
Wang, P. S., "Automatic Computation of Limits". Proceedings 2nd Symposium on Symbolic and Algebraic Manipulation, ACM, March 1971.
[16]
Wang, P. S., "Factoring Multivariate Polynomials over Algebraic Number Fields", Mathematics of Computation, Vol. 30, No. 134, April 1976.

Cited By

View all
  • (1981)Computing Methods in Quantum ElectrodynamicsField Theory, Quantization and Statistical Physics10.1007/978-94-009-8368-7_2(33-57)Online publication date: 1981

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSAM Bulletin
ACM SIGSAM Bulletin  Volume 10, Issue 3
August 1976
36 pages
ISSN:0163-5824
DOI:10.1145/1088216
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1976
Published in SIGSAM Volume 10, Issue 3

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)24
  • Downloads (Last 6 weeks)6
Reflects downloads up to 13 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (1981)Computing Methods in Quantum ElectrodynamicsField Theory, Quantization and Statistical Physics10.1007/978-94-009-8368-7_2(33-57)Online publication date: 1981

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media