Computer input/output of mathematical expressions
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Algebraic simplification a guide for the perplexed
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
Symbolic integration the stormy decade
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
From decision support to expert systems
SIGCPR '87 Proceedings of the conference on The 1987 ACM SIGBDP-SIGCPR Conference
Commentary on: solving symbolic equations with PRESS
ACM SIGSAM Bulletin
Solving symbolic equations with PRESS
Journal of Symbolic Computation
The beginning and development of FORMAC (FORmula MAnipulation Compiler)
HOPL-II The second ACM SIGPLAN conference on History of programming languages
How to make AXIOM into a scratchpad
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
An Overview of Programming Practices
ACM Computing Surveys (CSUR)
Algebraic simplification: a guide for the perplexed
Communications of the ACM
ICSE '79 Proceedings of the 4th international conference on Software engineering
Extended polynomial algorithms
ACM '73 Proceedings of the ACM annual conference
Application of MACSYMA to an asymptotic expansion problem
ACM '72 Proceedings of the ACM annual conference - Volume 2
Symbolic mathematical computation—introduction and overview
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Algebraic simplification a guide for the perplexed
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
Simplification of radical expressions
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
The design of data type specifications
ICSE '76 Proceedings of the 2nd international conference on Software engineering
The beginning and development of FORMAC: FORmula MAnipulation Compiler
History of programming languages---II
Factoring multivariate polynomials over the integers
ACM SIGSAM Bulletin
ACM SIGSAM Bulletin
Rationally simplifying non-rational expressions
ACM SIGSAM Bulletin
Algebraic algorithm descriptions as programs
ACM SIGSAM Bulletin
IEEE Transactions on Computers
On the need for a scientific programming language
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
Reasoning about assumptions in graphs of models
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Analyzing mathematical proofs (or reading between the lines)
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Sal/Svm: an assembly language and virtual machine for computing with non-enumerated sets
Virtual Machines and Intermediate Languages
Editorial: Macsyma: A personal history
Journal of Symbolic Computation
Interfacing mathemagix with C++
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Hi-index | 0.02 |
MACSYMA is a system for symbolic manipulation of algebraic expressions which is being developed at Project MAC, M.I.T. This paper discusses its philosophy, goals, and current achievements. MACSYMA makes extensive use of the power of its rational function subsystem. The facilities derived from this are discussed in considerable detail.