The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
On Euclid's Algorithm and the Computation of Polynomial Greatest Common Divisors
Journal of the ACM (JACM)
The Calculation of Multivariate Polynomial Resultants
Journal of the ACM (JACM)
Algebraic simplification: a guide for the perplexed
Communications of the ACM
Symbolic integration: the stormy decade
Communications of the ACM
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Analysis of algorithms, a case study: Determinants of polynomials
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
ACM '73 Proceedings of the ACM annual conference
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Computer input/output of mathematical expressions
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
The user-level semantic matching capability in MACSYMA
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Automatic computation of limits
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
EVALUATION OF DEFINITE INTEGRALS BY SYMBOLIC MANIPULATION
EVALUATION OF DEFINITE INTEGRALS BY SYMBOLIC MANIPULATION
ESSAYS IN ALGEBRAIC SIMPLIFICATION
ESSAYS IN ALGEBRAIC SIMPLIFICATION
The integration of a class of special functions with the Risch algorithm
ACM SIGSAM Bulletin
On algorithms for solving systems of polynomial equations
ACM SIGSAM Bulletin
Factoring multivariate polynomials over the integers
ACM SIGSAM Bulletin
The beginning and development of FORMAC (FORmula MAnipulation Compiler)
HOPL-II The second ACM SIGPLAN conference on History of programming languages
All Algebraic Functions Can Be Computed Fast
Journal of the ACM (JACM)
IEEE Transactions on Knowledge and Data Engineering
The beginning and development of FORMAC: FORmula MAnipulation Compiler
History of programming languages---II
The maple symbolic computation system
ACM SIGSAM Bulletin
Symbolic mathematical computation: a survey
ACM SIGSAM Bulletin
A panel on knowledge representation
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
History of IBM's technical contributions to high level programming languages
IBM Journal of Research and Development
Editorial: Macsyma: A personal history
Journal of Symbolic Computation
Artificial intelligence arrives to the 21st century
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
| Hi-index | 0.00 |
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.