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:
  • 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)
  • 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
  • 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
          in (1974) ACM Computing Reviews 15(04) April 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
  • Engelman, C. (1976) Engelman, C. "Algebraic Manipulation Languages" Extract: FORMAC Extract: MACSYMA Extract: MACSYMA and SCHATCHEN Extract: Symbolic systems
          in Encyclopedia of Computer Science, Ralston, Anthony (1976) Encyclopedia of Computer Science, Ralston, Anthony, and Meek, Chester L. (eds) New York, NY Petrocelli/Charter 1976
  • (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
          in Encyclopedia of Computer Science, Ralston, Anthony (1976) Encyclopedia of Computer Science, Ralston, Anthony, and Meek, Chester L. (eds) New York, NY Petrocelli/Charter 1976
  • 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
  • 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
  • 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
  • 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 [EUROSAM 79] (1979) E.W. Ng (ed) "Symbolic & Algebraic Computation Proceedings of EUROSAM 79" Springer-Verlag, Berlin, 1979
  • 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)
  • 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)
  • Macsyma User's Guide, Symbolics Inc., Cambridge Ma (1987) Macsyma User's Guide, Symbolics Inc., Cambridge Mass. 1987
          in [ACM] (1985) [ACM] CACM 28(04) (April 1985)
  • Betts, Kellyn S. (1990) Betts, Kellyn S. "Math Packages Multiply" Mechanical Engineering-CIME; August 1990 Extract: Macsyma
          in [ACM] (1985) [ACM] CACM 28(04) (April 1985)
  • Strassberg, Dan (1990) Strassberg, Dan "Taking the drudgery out of problem solving: mathematical software packages" EDN 3/15/1990 Extract: Macsyma
          in [ACM] (1985) [ACM] CACM 28(04) (April 1985)
  • Norvig, Peter (1991) Norvig, Peter "Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp" Morgan Kaufmann 1991 ftpSource code
          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)
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder