Computer algebra: symbolic and algebraic computation (2nd ed.)
Computer algebra: symbolic and algebraic computation (2nd ed.)
An object-oriented approach to algebra system design
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
Common LISP: the language
IEEE Transactions on Knowledge and Data Engineering
A Primer: 11 Keys to New Scratchpad
EUROSAM '84 Proceedings of the International Symposium on Symbolic and Algebraic Computation
The design of a language for algebraic computation systems
The design of a language for algebraic computation systems
Taylor series solutions of explicit ODE's in a strongly typed algebra system
ACM SIGSAM Bulletin
Using pictorial and object oriented programming for computer algebra
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Risa/Asir—a computer algebra system
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Computer as Thinker/Doer: Problem-Solving Environments for Computational Science
IEEE Computational Science & Engineering
YACAS: A Do-It-Yourself Symbolic Algebra Environment
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Evaluation of a Java Computer Algebra System
Computer Mathematics
| Hi-index | 0.00 |
We compare and contrast several techniques for the implementation of components of an algebraic manipulation system. On one hand is the mathematical-algebraic approach which characterizes (for example) IBM's Scratchpad II. On the other hand is the more ad hoc approach which characterizes many other popular systems (for example, Macsyma, Reduce, Maple, and Mathematica). While the algebraic approach has generally positive results, careful examination suggests that there are significant remaining problems, especially in the representation and manipulation of analytical, as opposed to algebraic mathematics. We describe some of these problems, and some general approaches for solutions.