REDUCE 2: A system and language for algebraic manipulation

Proceedings of the 2nd ACM Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1971

Volumn , Issue , 1971, Pages 128-133

  Hearn, Anthony C ^a  

^a UNIVERSITY OF UTAH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC EXPRESSION; ALGEBRAIC MANIPULATIONS; SYMBOL MANIPULATION;

ALGEBRA;

EID: 85051715538     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. A. C. Hearn, Computation of Algebraic Properties of Elementary Particle Reactions using a Digital Computer, Comm. A. C. M. 9, 573 (1966).
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. A. C. Hearn, Applications of Symbol manipulation in Theoretical Physics, Proceedings of the Second Symposium on Symbolic and Algebraic Manipulation, International Hotel, Los Angeles, California, March 23-25, 1971.
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 and R. D. Jenks, An Interactive Facility for Symbolic Mathematics, IBM Research Report No. RC 2766, January 1970.
7. M. Engeli, User's Manual for the Formula Manipulation Language SYMBAL, The University of Texas at Austin Computer Center, Austin, Texas. 1968.
8. P. Naur, (Ed.), Revised Report on the Algorithmic Language ALGOL 60, Comm. A. C. M. 6, 1-17 (1963).
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. J. Moses,Algebraic Simplification, A Guide to the Perplexed, Proceedings of the Second Symposium on Symbolic and Algebraic Manipulation, International Hotel, Los Angeles, California, March 23-25, 1971.
15. G. E. Collins, PM, a System for Polynomial Manipulation, Comm. A. C. M. 9, 570-573 (August 1966).
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).