Experience with FORMAC algorithm design
Communications of the ACM
Eliminating monotonous mathematics with FORMAC
Communications of the ACM
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
SCRATCHPAD/1: An interactive facility for symbolic mathematics
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
IAM, a system for interactive algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
The design of the Cambridge algebra system
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
On Euclid's algorithm and the computation of polynomial greatest common divisors
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
On the use of syntax-based translators for symbolic and algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
List-tracing in systems allowing multiple cell-types
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
An introduction to AMBIT/L, a diagrammatic language for list processing
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
Semi-symbolic methods in partial differential equations
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Integer arithmetic algorithms for polynomial real zero determination
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
Algorithms for partial fraction decomposition and rational function integration
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
ACM SIGSAM Bulletin
Tuning an algebraic manipulation system through measurements
ACM SIGSAM Bulletin
| Hi-index | 0.00 |
A specific model depicting the nature of research and development work in symbolic mathematical computation is presented. The model provides the organization for this introduction and overview. Basic concepts and issues are adumbrated from the user's point of view, from the mathematician's point of view, and from the designer/implementer's point of view. The model focuses attention on the need for measurement by displaying the scientifically necessary, but currently nonexistent, information feedback loops. A vigorous attempt is made to place the work reported at this symposium in the perspective provided by the model. This examination culminates in a proposal.