Skip to main content
SpringerLink
Log in
Book cover

European Computer Algebra Conference

EUROCAM 1982: Computer Algebra pp 263–272Cite as

REDUCE — A case study in algebra system development

  • 7. Systems
  • Conference paper
  • First Online:

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

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. Griss, M. L., E. Benson, and G. Q. Maguire, Jr., "PSL: A Portable LISP System," Proc. 1982 ACM Symp. on LISP and Functional Programming, ACM, New York (to be published).

    Google Scholar 

  2. Hearn, A. C., "The Personal Algebra Machine," Proc. IFIP Congress 80, North Holland (1980) 621–628.

    Google Scholar 

  3. Killalea, M. K., and B. J. McCoy, "Concentration Distribution and Spatial Moments of Moving Macromolecules Undergoing Isomerization," Biopolymers 19 (1980) 1875–1886.

    Article  Google Scholar 

  4. Cole, C. A., and S. Wolfram, "SMP — A Symbolic Manipulation Program," Proc. SYMSAC 81, ACM, New York (1981) 20–22.

    Google Scholar 

  5. Jenks, R. D., private communication.

    Google Scholar 

  6. Hearn, A. C., "A Mode Analyzing Algebraic Simplification Program," Proc. ACM 74, ACM, New York (1974) 722–724.

    Google Scholar 

  7. Griss, M. L., "The Definition and Use of Data-Structures in REDUCE," Proc. SYMSAC 76, ACM, New York (1976) 53–59.

    Google Scholar 

  8. Davenport, J. H,. and R. D. Jenks, "MODLISP," Conf. Record of the 1980 LISP Conference, 65–74.

    Google Scholar 

  9. Jenks, R. D., and B. M. Trager, "A Language for Computational Algebra," Proc. SYMSAC 81, ACM, New York (1981) 6–13.

    Google Scholar 

  10. Soma, T., E. Goto, N. Inada, T. Ida, M. Idesawa, K. Hiraki, M. Suzuki, and K. Shimizu, "Design of a Lisp Machine — FLATS," Proc. 1982 ACM Symp. on LISP and Functional Programming, ACM, New York (to be published)

    Google Scholar 

  11. Stoutemyer, D. R., "Analytically Solving Integral Equations by Using Computer Algebra," Trans. on Math. Software 3 (1977) 128–146.

    Article  Google Scholar 

  12. Hearn, A. C., "The Problem of Substitution," Proc. IBM Summer Inst. on Symbolic Mathematics by Computer, IBM Programming Lab. Rep. No. FSC-69-0312 (1969).

    Google Scholar 

  13. Clarke, T. J. W., P. J. S. Gladstone, C. D. MacLean, and A. C. Norman, "SKIM — The S, K, I Reduction Machine," Conf. Record of the 1980 LISP Conference, 128–135.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The Rand Corporation, 90406, Santa Monica, CA, USA

    Anthony C. Hearn

Authors
  1. Anthony C. Hearn
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jacques Calmet

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hearn, A.C. (1982). REDUCE — A case study in algebra system development. In: Calmet, J. (eds) Computer Algebra. EUROCAM 1982. Lecture Notes in Computer Science, vol 144. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-11607-9_31

Download citation

  • DOI: https://doi.org/10.1007/3-540-11607-9_31

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11607-3

  • Online ISBN: 978-3-540-39433-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation