REDUCE 2: A system and language for algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
AN ON-LINE SYSTEM FOR ALGEBRAIC MANIPULATION
AN ON-LINE SYSTEM FOR ALGEBRAIC MANIPULATION
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
Algebraic simplification: a guide for the perplexed
Communications of the ACM
Extended polynomial algorithms
ACM '73 Proceedings of the ACM annual conference
Symbolic mathematical computation—introduction and overview
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
Algebraic simplification a guide for the perplexed
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Proceedings of the ACM SIGPLAN symposium on Very high level languages
The design of data type specifications
ICSE '76 Proceedings of the 2nd international conference on Software engineering
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
The beginning and development of FORMAC: FORmula MAnipulation Compiler
History of programming languages---II
ACM SIGSAM Bulletin
SCRATCHPAD/360: reflections on a language design
ACM SIGSAM Bulletin
A short survey on the state of the art in matching and unification problems
ACM SIGSAM Bulletin
Rationally simplifying non-rational expressions
ACM SIGSAM Bulletin
Algebraic algorithm descriptions as programs
ACM SIGSAM Bulletin
Uses of virtual storage systems in a scientific environment
IBM Systems Journal
Finite difference formulas for neumann conditions on irregularly shaped boundaries
IBM Journal of Research and Development
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Hi-index | 0.02 |
The SCRATCHPAD/1 system is designed to provide an interactive symbolic computational facility for the mathematician user. The system features a user language designed to capture the style and succinctness of mathematical notation, together with a facility for conveniently introducing new notations into the language. A comprehensive system library incorporates symbolic capabilities provided by such systems as SIN, MATHLAB, and REDUCE.