REDUCE — A case study in algebra system development

  • Anthony C. Hearn
7. Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 144)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [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. [2]
    Hearn, A. C., "The Personal Algebra Machine," Proc. IFIP Congress 80, North Holland (1980) 621–628.Google Scholar
  3. [3]
    Killalea, M. K., and B. J. McCoy, "Concentration Distribution and Spatial Moments of Moving Macromolecules Undergoing Isomerization," Biopolymers 19 (1980) 1875–1886.CrossRefGoogle Scholar
  4. [4]
    Cole, C. A., and S. Wolfram, "SMP — A Symbolic Manipulation Program," Proc. SYMSAC 81, ACM, New York (1981) 20–22.Google Scholar
  5. [5]
    Jenks, R. D., private communication.Google Scholar
  6. [6]
    Hearn, A. C., "A Mode Analyzing Algebraic Simplification Program," Proc. ACM 74, ACM, New York (1974) 722–724.Google Scholar
  7. [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. [8]
    Davenport, J. H,. and R. D. Jenks, "MODLISP," Conf. Record of the 1980 LISP Conference, 65–74.Google Scholar
  9. [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. [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. [11]
    Stoutemyer, D. R., "Analytically Solving Integral Equations by Using Computer Algebra," Trans. on Math. Software 3 (1977) 128–146.CrossRefGoogle Scholar
  12. [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. [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

Copyright information

© Springer-Verlag 1982

Authors and Affiliations

  • Anthony C. Hearn
    • 1
  1. 1.The Rand CorporationSanta MonicaUSA

Personalised recommendations