Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Proceedings of the symposium on Two-dimensional man-machine communication
Proceedings of the symposium on Two-dimensional man-machine communication
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
REDUCE 2: A system and language for algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Proceedings of the symposium on Two-dimensional man-machine communication
Programming on a tablet: A proposal for a new notation
Proceedings of the symposium on Two-dimensional man-machine communication
Abstract data types and software validation
Communications of the ACM
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
DDA: An interactive and extensible language for data display and analysis
The papers of the ACM symposium on Graphic languages
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
Canonical representatives for residue classes of a polynomial ideal
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
A language for computational algebra
SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
ACM '75 Proceedings of the 1975 annual conference
The application of a symbolic mathematical system to program verification
ACM '74 Proceedings of the 1974 annual conference - Volume 1
A graded bibliography on macro systems and extensible languages
ACM SIGPLAN Notices
A language for computational algebra
ACM SIGPLAN Notices
On the design of a mode-based symbolic system
ACM SIGSAM Bulletin
SCRATCHPAD/360: reflections on a language design
ACM SIGSAM Bulletin
History of IBM's technical contributions to high level programming languages
IBM Journal of Research and Development
Interfacing mathemagix with C++
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
| Hi-index | 0.02 |
SCRATCHPAD is an interactive system for symbolic mathematical computation. Its user language, originally intended as a special-purpose non-procedural language, was designed to capture the style and succinctness of common mathematical notations, and to serve as a useful, effective tool for on-line problem solving. This paper describes extensions to the language which enable it to serve also as a high-level programming language, both for the formal description of mathematical algorithms and their efficient implementation.