Language peer sets for REDUCE: United States↑ United States/1963↑ Designed 1963 ↑ 1960s languages ↑ Third generation↑ Early Cold War↑ Genus Symbolic ↑ Symbolic↑ Logical↑ Expression-oriented ↑ Symbolic/1963↑ Logical/1963↑ Expression-oriented/1963↑ Symbolic/United States↑ Logical/United States↑ Expression-oriented/United States↑
alternate simple view
Country: United States
Genus: Symbolic Anthony Hearn, 1963. Symbolic math, ALGOL-like syntax, written in LISP, originally to evaluate Feynman diagrams in quantum physics
According to Fateman 1980, based on Pratt's parser People:
The Legendre polynomials obtained from Rodrigues' formula using reduce.
The lines typed by the user are preceded by an asterisk. The computer replies by typing the asterisk and the appropriate polynomials
The f and g series obtained by recurrence using reduce.
The user has typed the lines preceded by an asterisk and reduce replies by typing the remaining text. Only part of the computer output is presented
The solution of the Kepler equation (2.1) by the algorithm (2.4) using Reduce.
Hearn, A C (1967) Hearn, A C "REDUCE user's manual" Institute of Theoretical Physics, Stanford ITP-247 (unpublished), 1967 (revised April 1968), Stanford, Calif.
Hearn, A C (1968) Hearn, A C "REDUCE: a user-oriented interactive system for algebraic simplification" pp 79-90
Hearn, A. C. (1968) Hearn, A. C. "The Problem of Substitution", Stanford University A1 Proj. Memo 70 1968
Hearn, Anthony C. (1969) Hearn, Anthony C. "The Problem of Substitution"
in Tobey (ed) (1969) Tobey, R. G. (ed) Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, IBM Federal Systems Center, Gaithersburg, Maryland, July-August 1968, IBM Programming Laboratory Report No. FSC-69-0312 (proceedings published June 1969).
Smith, Lyle B. (1970) Smith, Lyle B. "A Survey of Interactive Graphical Systems for Mathematics"
REDUCE in [ACM] (1970) [ACM] ACM Computing Surveys 2(4) Dec1970
Hearn, A. C. (1971) Hearn, A. C. "Reduce 2"
IntroductionPicture: Examples from paperExtract:
Conclusion in [SYMSAM 71] (1971) [ACM] Proceedings of the Second Symposium on Symbolic and Algebraic Manipulation, March 23-25, 1971 Los Angeles (SYMSAM 71)
Barton, D and J P Fitch (1972) Barton, D and J P Fitch "Applications of algebraic manipulation programs in physics" Rep. Prog. Phys. 35 235-314 1972
in [SYMSAM 71] (1971) [ACM] Proceedings of the Second Symposium on Symbolic and Algebraic Manipulation, March 23-25, 1971 Los Angeles (SYMSAM 71)
Sammet (1972) Sammet, Jean E., "Roster of Programming Languages 1972" 238
in (1972) Computers & Automation 21(6B), 30 Aug 1972
Wells (1972) Wells, Mark B. "A review of two-dimensional programming languages" pp1-10
in [TDMMC] (1972) Proceedings of the SIGPLAN symposium on Two-dimensional man-machine communication 1972 , Los Alamos, New Mexico, United States
Stock and Stock (1973) Stock, Marylene and Stock, Karl F. "Bibliography of Programming Languages: Books, User Manuals and Articles from PLANKALKUL to PL/I" Verlag Dokumentation, Pullach/Munchen 1973 499
Abstract in (1974) ACM Computing Reviews 15(04) April 1974
Griss, Martin L. (1976) Griss, Martin L. "The definition and use of data structures in REDUCE"
AbstractOnline copy in [ACM] (1976) Proceedings of the Third ACM symposium on Symbolic and algebraic computation, August 10-12, 1976, Yorktown Heights, New York, United States
Campbell, J. A. and Fitch, J. P. (1980) Campbell, J. A. and Fitch, J. P. "Symbolic computing with and without LISP" Proceedings of the 1980 Conference on LISP and Functional Programming Stanford University, California, United States
in (1979) The Computer Journal 22(2) May 1979
Fitch, John (1992) Fitch, John "REDUCE Meets CAMAL" Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
LNCS?? 1992 Springer-Verlag pp104-115 1992
Introduction in [ACM] (1985) [ACM] CACM 28(04) (April 1985)
Geddes et al (1992) Geddes, K.O. ; Czapor S.R. and G. Labahn, "Algorithms for Computer Algebra" Kluwer Academic Publishers, Boston, 1992
Extract from Chapter one in [ACM] (1985) [ACM] CACM 28(04) (April 1985)