H ? « ‹ ← → › »

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↑

REDUCE(ID:187/red007)

alternate simple view
Country: United States
Designed 1963
Published: 1963
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:
Related languages
ALGOL 60 → REDUCE   Derivation of
LISP 1.5 → REDUCE   Written using
REDUCE → GENTRAN   Intermediate language for
REDUCE → GRG   Written using
REDUCE → REDUCE 2   Evolution of
REDUCE → REDUCE/OR   Extension of
REDUCE → Scratchpad   Influence

Samples:
References:
  • 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" Extract: REDUCE
          in [ACM] (1970) [ACM] ACM Computing Surveys 2(4) Dec1970
  • Barton, D. and Fitch, J.P. (1971) Barton, D. and Fitch, J.P. "General Relativity and the Application of Algebraic Manipulative Systems"
          in [ACM] (1971) [ACM] CACM 14(08) August 1971
  • Hearn, A. C. (1971) Hearn, A. C. "Reduce 2" Abstract Extract: Introduction Picture: Examples from paper Extract: 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)
  • Barton and Fitch (1972) Barton, D and Fitch, JP "A review of algebraic manipulative programs and their application" Abstract
          in The Computer Journal (1972) The Computer Journal 15(4) 1972
  • 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
  • Sammet, Jean E. (1973) Sammet, Jean E. "Roster of Programming Languages for 1973" p147
          in (1974) ACM Computing Reviews 15(04) April 1974
  • 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" pp53-59 Abstract Online 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
  • Sammet, Jean E (1978) Sammet, Jean E "Roster of programming languages for 1976-77" pp56-85
          in [SIGPLAN] (1978) SIGPLAN Notices 13(11) Nov 1978
  • Harrington, SJ (1979) Harrington, SJ "A new symbolic integration system in reduce" Abstract Online copy
          in (1979) The Computer Journal 22(2) May 1979
  • 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 pp1-5
          in (1979) The Computer Journal 22(2) May 1979
  • Wolfram, Stephen (1985) Wolfram, Stephen "Symbolic Mathematical Computation"
          in [ACM] (1985) [ACM] CACM 28(04) (April 1985)
  • Sasaki, Tateaki (1986) Sasaki, Tateaki "Simplification of algebraic expression by multiterm rewriting rules" Proceedings of the fifth ACM Symposium on Symbolic and Algebraic Manipulation, Waterloo, Ontario, Canada 1986 pp115-120 Abstract Extract: Introduction
          in [ACM] (1985) [ACM] CACM 28(04) (April 1985)
  • Rayna, G. (1987) Rayna, G. "REDUCE, Software for Algebraic Computation", Springer 1987.
          in [ACM] (1985) [ACM] CACM 28(04) (April 1985)
  • 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 Abstract Extract: 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: Extract from Chapter one
          in [ACM] (1985) [ACM] CACM 28(04) (April 1985)
  • Hearn, A.C. (1995) Hearn, A.C. REDUCE User's Manual, RAND publication CP78, July 1995.
          in [ACM] (1985) [ACM] CACM 28(04) (April 1985)
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder