H ? «‹←→›»

Language peer sets for MACSYMA:
United States↑
United States/1969↑
Designed 1969 ↑
1960s languages ↑
Third generation↑
High Cold War↑
Genus Algebraic ↑
Numerical Scientific ↑
Algebraic↑
Mathematical↑
Expression-oriented ↑
Algebraic/1969↑
Mathematical/1969↑
Expression-oriented/1969↑
Algebraic/United States↑
Mathematical/United States↑
Expression-oriented/United States↑
Numerical Scientific ↑
Numerical Scientific/1969↑
Numerical Scientific/us ↑

MACSYMA(ID:431/mac025)

Symbolic math system 

alternate simple view
Country: United States
Designed 1969
Published: 1969
Genus: Algebraic
Sammet category: Numerical Scientific

Project MAC's SYmbolic MAnipulator. Joel Moses MIT 1969, later Symbolics, Inc.
The first comprehensive symbolic math system, written in LISP.

Participating in the original design work for MACSYMA (beginning in July, 1968) were W. A. Martin, C. Engelman, and J. Moses. Programming began in July, 1969. The expression evaluator and input-output (i.e. string editor, parser, 2-D display, language) were programmed by W. A. Martin, P. Loewe, and T. Williams.

Of the other major modules in MACSYMA, W. A. Martin designed and programmed the polynomial arithmetic package; R. Fateman designed and programmed the rational function package and its extensions (including the radical simplifier); J. Moses designed and programed the simplifier (a major overhaul of the Korsvold program), many of the commands (e.g. differentiation, substitution), and the integration facility. E. Tsiang and W.A. Martin designed and programmed the power series expansion routines.

P. Wang designed and implemented the limit programs, and the secondary storage control. R. Fateman designed and implemented the semantic pattern matching system. The improved LISP compiler is the work of J. Golden. Others who have contributed to the programming include D. Hill and S. Saunders. In debugging these programs and in interfacing the different modules, it often became necessary for one programmer to add to or considerably modify another's work. In this sense, many of the modules are joint efforts.

Used parser written by Vaughan Pratt

Versions: Symbolics Macsyma, DOE Maxima (ANL), Vaxima.

People:
Related languages
Korsvold→MACSYMA   Incorporated some features of
LISP 1.5→MACSYMA   Written using
MATHLAB 68→MACSYMA   Influence
  MACSYMA→ALADIN Influence
  MACSYMA→DOE Macsyma Implementation
  MACSYMA→FIDIL Influence
  MACSYMA→Newspeak Influence
  MACSYMA→ParaMacs Implementation
  MACSYMA→STENSOR Written using
  MACSYMA→VAXIMA Implementation
  MACSYMA→VisiCalc Influence
References:

1971

  • Martin, W. A.; Fateman, R. J. (1971) Martin, W. A.; Fateman, R. J. "The MACSYMA system" pp59-75 Abstract Extract: Summary Extract: Introduction and Goals Extract: An Overview of the Current MACSYMA System
          in [SYMSAM 71] (1971) [ACM] Proceedings of the Second Symposium on Symbolic and Algebraic Manipulation, March 23-25, 1971 Los Angeles (SYMSAM 71)
  • Tobey, RG (1971) Tobey, RG "Symbolic mathematical computation - introduction and overview"
          in [SYMSAM 71] (1971) [ACM] Proceedings of the Second Symposium on Symbolic and Algebraic Manipulation, March 23-25, 1971 Los Angeles (SYMSAM 71)

1972

  • 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
  • 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

1973

  • 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 349 Abstract

1974

  • Moses, J. (1974) Moses, J. "MACSYMA The Fifth Year"
          in (1974) SIGSAM Bulletin 8(3) August 1974
  • Wang, Paul S. (1974) Wang, Paul S. "Symbolic Evaluation of Definite Integrals by Residue Theory in Macsyma" pp823-827
          in Rosenfeld, Jack L. (1974) Rosenfeld, Jack L. (Ed.): Information Processing 74, Proceedings of IFIP Congress 74, Stockholm, Sweden, August 5-10, 1974

1976

1977

  • (1977) Fateman, R.J.; et al.: Proceedings of the 1977 MACSYMA User's Conference, Berkeley, California, July 27-29, 1977, NASA-Langley Research Center, 1977
  • Genesereth, Michael R. (1977) Genesereth, Michael R. "An Automated Consultant for MACSYMA" p789
          in [Proceedings] (1977) Proceedings of the 5th International Joint Conference on Artificial Intelligence IJCAI-77, MIT, Cambridge, Mass., August, 1977

1978

1979

  • Campbell and Simon (1979) Campbell J.A. and Simon, P. "Symbolic Computing with Compressable data structures"
          in [EUROSAM 79] (1979) E.W. Ng (ed) "Symbolic & Algebraic Computation Proceedings of EUROSAM 79" Springer-Verlag, Berlin, 1979

1980

  • 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

1985

  • Padget (1985) Padget, J. A. "Current Development in LISP" Abstract
          in (1985) European Conference on Computer Algebra EUROCAL 85 LNCS 204
  • Pavelle (1985) Pavelle, Richard "The Power of Present Computer Algebra Systems: MACSYMA on a LISP-Machine" Abstract
          in (1985) European Conference on Computer Algebra EUROCAL 85 LNCS 204
  • Wolfram, Stephen (1985) Wolfram, Stephen "Symbolic Mathematical Computation"
          in [ACM] (1985) [ACM] CACM 28(04) (April 1985)

1986

  • 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

1987

1990

  • Betts, Kellyn S. (1990) Betts, Kellyn S. "Math Packages Multiply" Mechanical Engineering-CIME; August 1990 Extract: Macsyma
  • Strassberg, Dan (1990) Strassberg, Dan "Taking the drudgery out of problem solving: mathematical software packages" EDN 3/15/1990 Extract: Macsyma

1991

1992

  • 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

Resources
  • Page at Lincoln
    Macsyma (1969)
    Macsyma started by C. Engelman, W. A. Martin and J. Moses.

    Seven papers on Macsyma (1971)
    The Proceedings of the Second ACM Symposium on Symbolic and Algebraic Manipulation included seven papers on Macsyma
    References:
    W. A. Martin. Computer input/output of mathematical expressions, pages 78-79.
    W. A. Martin. Determining the equivalence of algebraic expressions by hash coding, pages 305-310.
    J. Moses. Symbolic integration: the stormy decade, pages 427-440.
    P. S. Wang. Automatic computation of limits, pages 458-464.
    R. J. Fateman. The user-level semantic matching capabilities in Macsyma, pages 311-323.
    J. Moses. Algebraic simplification: a guide for the perplexed, pages 282-304.
    W. A. Martin and R. J. Fateman. The Macsyma system, pages 59-75.
    All in Proceedings of the Second ACM Symposium on Symbolic and Algebraic Manipulation.

    Macsyma consortium formed. (1976)

    First Macsyma user's conference. (1977)
    W. Gosper, MAC alumnus, implemented a Macsyma algorithm for computing indefinite sums of terms involving rationals, exponentials and combinatorial terms. J. Moses calls it the most important new approach to summation in a century and a half. Four definitive papers by J. L. White and G. L. Steele on Maclisp also presented.

    Macsyma licensed to Symbolics by MIT. (1982)
Search in:Google Google scholar World Cat Yahoo Overture Teoma Alta Vista All the web Voila DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder