skip to main content
10.1145/2402536.2402544acmconferencesArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
research-article
Free Access

REDUCE: a user-oriented interactive system for algebraic simplification

Published:01 August 1967Publication History

ABSTRACT

Many of the day-to-day problems which confront applied mathematicians involve extensive algebraic or nonnumerical calculation. Such problems may range from the evaluation of analytical solutions to complicated differential or integral equations on the one hand, to the calculation of coefficients in a power series expansion or the computation of the derivative of a complicated function on the other. The difference between these two classes of problems is obvious; in the former case, no straightforward algorithm exists which will guarantee a solution, and indeed, an analytic form for the solution may not even exist. On the other hand, algorithms do exist for the solution of problems such as series expansion and differentiation, and therefore a correct answer may always be found provided that the researcher possesses sufficient time, perseverance, and accuracy to carry the more complicated problems through free of error. Many examples of this type of problem may be found in physics and engineering. Calculations of general relativistic effects in planetary motion, structural design calculations, and many of the calculations associated with elementary particle physics experiments at high energy accelerators, to name a few, may demand many man-months or even years of work before a useful and error free answer can be found, even though the operations involved are quite straightforward.

References

  1. Hearn, A. C., Bull. Am. Phys. Soc. 9, 436 (1964); Comm. ACM 9, 573 (1966). Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. McCarthy, J., Abrahams, P., Edwards, D. J., Hart, T. P. and Levin, M. I., LISP 1.5 Programmer's Manual. Computation Center and Research Lab of Electronics, MIT. MIT Press, Cambridge, Massachusetts, 1962. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Hearn, A. C., REDUCE User's Manual, Institute of Theoretical Physics, Stanford ITP-247 (unpublished), 1967 (revised April 1968).Google ScholarGoogle Scholar
  4. Collins, G. E., Comm. ACM 9, 578 (1966); J. ACM. 14, 128 (1967).Google ScholarGoogle ScholarDigital LibraryDigital Library

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in
  • Published in

    cover image ACM Conferences
    Symposium on Interactive Systems for Experimental Applied Mathematics: Proceedings of the Association for Computing Machinery Inc. Symposium
    August 1967
    475 pages
    ISBN:9781450373098
    DOI:10.1145/2402536

    Copyright © 1967 ACM

    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 1 August 1967

    Permissions

    Request permissions about this article.

    Request Permissions

    Check for updates

    Qualifiers

    • research-article

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader