MACSYMA - the fifth year

MACSYMA is a large symbolic and algebraic manipulation system which has been under development at Project MAC, M.I.T. since 1969. We first discuss some of the design decisions, such as multiple representations, that led to the current system. We then give a brief description of the facilities of MACSYMA by dividing the system into seven packages: language and interactive facilities, general representation, rational function representation and related algorithms, the integration subsystem, the power series subsystem, the MACLISP system, and miscellaneous facilities.

[1]  Vaughan R. Pratt,et al.  Top down operator precedence , 1973, POPL.

[2]  Joel Moses,et al.  Symbolic integration: the stormy decade , 1966, CACM.

[3]  E. Berlekamp.  Factoring polynomials over large finite fields* , 1971, SYMSAC '71.

[4]  W. Morven Gentleman,et al.  Analysis of algorithms, a case study: Determinants of polynomials , 1973, STOC '73.

[5]  W. S. Brown.  On Euclid's algorithm and the computation of polynomial greatest common divisors , 1971, SYMSAC '71.

[6]  Paul S. Wang.  Automatic computation of limits , 1971, SYMSAC '71.

[7]  Paul S. Wang,et al.  Factoring multivariate polynomials over the integers , 1973, SIGS.

[8]  Richard J. Fateman,et al.  The user-level semantic matching capability in MACSYMA , 1971, SYMSAC '71.

[9]  David Y. Y. Yun,et al.  On algorithms for solving systems of polynomial equations , 1973, SIGS.

[10]  R. Risch.  The problem of integration in finite terms , 1969 .

[11]  Carl Engelman.  The legacy of MATHLAB 68 , 1971, SYMSAC '71.

[12]  W. A. Martin,et al.  The MACSYMA system , 1971, SYMSAC '71.

[13]  Paul S. Wang.  EVALUATION OF DEFINITE INTEGRALS BY SYMBOLIC MANIPULATION , 1971 .

[14]  Joel Moses.  The integration of a class of special functions with the Risch algorithm , 1969, SIGS.

[15]  William A. Martin,et al.  Computer input/output of mathematical expressions , 1971, SYMSAC '71.

[16]  Joel Moses,et al.  Symbolic integration: the stormy decade , 1966, CACM.

[17]  Richard J. Fateman.  On the Computation of Powers of Sparse Polynomials , 1974 .

[18]  R. Fateman.  On the multiplication of poisson series , 1974 .

[19]  David Y. Y. Yun,et al.  The EZ GCD algorithm , 1973, ACM Annual Conference.

[20]  Paul S. Wang,et al.  Factoring multivariate polynomials over the integers , 1973, SIGS.

[21]  Richard J. Fateman.  ESSAYS IN ALGEBRAIC SIMPLIFICATION , 1972 .

[22]  George E. Collins,et al.  The Calculation of Multivariate Polynomial Resultants , 1971, JACM.

[23]  Joel Moses,et al.  Algebraic simplification: a guide for the perplexed , 1971, CACM.

[24]  J. D. Lipson.  Symbolic methods for the computer solution of linear equations with applications to flowgraphs , 1969 .