Journal of Symbolic Computation
Structure and interpretation of computer programs
Structure and interpretation of computer programs
The TEXbook
MathScribe: a user interface for computer algebra systems
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
A semantic matcher for computer algebra
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Conform: a conformal mapping system
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
On implementing Buchberger's algorithm for Grobner bases
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
An implementation of operators for symbolic algebra systems
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
An operator algebra for Macsyma
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
TEX output from MACSYMA-like systems
ACM SIGSAM Bulletin
Mathematica: a system for doing mathematics by computer
Mathematica: a system for doing mathematics by computer
GI/S: A graphical user interface for symbolic computation systems
Journal of Symbolic Computation
A Portable Extended Precision Arithmetic Package and Library with Fortran Precompiler
ACM Transactions on Mathematical Software (TOMS)
A Fortran Multiple-Precision Arithmetic Package
ACM Transactions on Mathematical Software (TOMS)
Algebraic simplification: a guide for the perplexed
Communications of the ACM
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
A new REDUCE model for algebraic simplification
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
AN ON-LINE SYSTEM FOR ALGEBRAIC MANIPULATION
AN ON-LINE SYSTEM FOR ALGEBRAIC MANIPULATION
DREAMS: Display Representation of Algebraic Manipulation Systems
DREAMS: Display Representation of Algebraic Manipulation Systems
The design of a language for algebraic computation systems
The design of a language for algebraic computation systems
Evaluation of "performance enhancements" in algebraic manipulation systems
Evaluation of "performance enhancements" in algebraic manipulation systems
ACM SIGSAM Bulletin
SCRATCHPAD/360: reflections on a language design
ACM SIGSAM Bulletin
Pattern matching algebraic identities
ACM SIGSAM Bulletin
Advances and trends in the design and construction of algebraic manipulation systems
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Optimized code generation for finite element local assembly using symbolic manipulation
ACM Transactions on Mathematical Software (TOMS)
iMathema: A Novel Online Intelligent Computing System Oriented to Common Scientific Computations
Proceedings of the Second International Conference on Innovative Computing and Cloud Computing
Hi-index | 0.00 |
The successes and failures of the Macsyma algebraic manipulation system are reviewed from the point of view of one of the original contributors. A retrospective examination is provided of some of the controversial ideas that worked, and some that did not. Input/output, language semantics, knowledge-adjunction, mathematical semantics, the model of the user, and other issues are considered. Possible future directions for algebraic manipulation system building are discussed.