REDUCE 2: A system and language for algebraic manipulation

ABSTRACT

A description of a new version of the algebraic manipulation system REDUCE is presented. In its latest form, REDUCE provides a complete language for interactive symbol manipulation by computer in addition to increased facilities for the simplification of algebraic expressions.

REFERENCES

• 1: A. C. Hearn, Computation of algebraic properties of elementary particle reactions using a digital computer, Communications of the ACM, v.9 n.8, p.573-577, Aug. 1966 [doi>10.1145/365758.365766]
• 2: A. C. Hearn, REDUCE, A User-Oriented Interactive System for Algebraic Simplification. In M. Klerer and J. Reinfelds (Eds.), Interactive Systems for Experimental Applied Mathematics, Academic Press, New York and London, 1968, pp. 79-90.
• 3: Anthony C. Hearn, Applications of symbol manipulation in theoretical physics, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.17-21, March 23-25, 1971, Los Angeles, California, United States [doi>10.1145/800204.806262]
• 4: R. G. Tobey et al., PL/I FORMAC Interpreter, Users Reference Manual, IBM Contributed Program Library, 360 D 03.3004, Hawthorne, New York, October 1967.
• 5: C. Engelman, MATHLAB 68. In A. J. H. Morrell (Ed.), Information Processing 68, North-Holland Amsterdam, 1969, pp. 462-467.
• 6: F. W. Blair , J. H. Griesmer , R. D. Jenks, An interactive facility for symbolic mathematics, ACM SIGSAM Bulletin [doi>10.1145/1086859.1086863]
• 7: M. Engeli, User's Manual for the Formula Manipulation Language SYMBAL, The University of Texas at Austin Computer Center, Austin, Texas, 1968.
• 8: J. W. Backus , F. L. Bauer , J. Green , C. Katz , J. McCarthy , A. J. Perlis , H. Rutishauser , K. Samelson , B. Vauquois , J. H. Wegstein , A. van Wijngaarden , M. Woodger , P. Naur, Revised report on the algorithm language ALGOL 60, Communications of the ACM, v.6 n.1, p.1-17, Jan. 1963 [doi>10.1145/366193.366201]
• 9: A. C. Hearn, Standard LISP, Stanford Artificial Intelligence Project Memo AI-90 (May 1969).
• 10: A. C. Hearn, REDUCE 2 User's Manual, Stanford Artificial Intelligence Project Memo No. AIM-133, October 1970.
• 11: P. Sconzo, A. R. LeSchack, and R. Tobey, Symbolic Computation of f and g Series by Computer, Astronomical Journal 70 (May 1965).
• 12: J. K. Millen, CHARYBDIS: A LISP Program to Display Expressions on Typewriter-Like Devices. In M. Klerer and J. Reinfelds (Eds.), Interactive Systems for Experimental Applied Mathematics, Academic Press, New York and London, 1968, pp. 155-163.
• 13: J. D. Lipson, Symbolic Methods for the Computer Solution of Linear Equations with Applications to Flowgraphs, Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, IBM Programming Laboratory Report FSC 69-0312 (1969).
• 14: Joel Moses, Algebraic simplification a guide for the perplexed, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.282-304, March 23-25, 1971, Los Angeles, California, United States [doi>10.1145/800204.806298]
• 15: G. E. Collins, PM, a system for polynomial manipulation, Communications of the ACM, v.9 n.8, p.578-589, Aug. 1966 [doi>10.1145/365758.365770]
• 16: D. C. Smith, MLISP User's Manual, Stanford Artificial Intelligence Project Memo AIM-84 (1969).
• 17: F. W. Blair and R. D. Jenks, LPL-LISP Programming Language, IBM Thomas J. Watson Research Center, Yorktown Heights, N. Y., 1970.
• 18: A. C. Hearn, The Problem of Substitution, |Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, IBM Programming Laboratory Report FSC# 69-0312 (1969).
• 19: A. C. Hearn, P. K. Kuo, and D. R. Yennie, Radiative Corrections to an Electron-Positron Scattering Experiment, Phys. Rev. 187, 1950 (1969).

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION
      I.1.3 Languages and Systems

          Nouns: REDUCE

Additional Classification:
  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION
      I.1.1 Expressions and Their Representation
          Subjects: Simplification of expressions

General Terms:
Algorithms, Theory