Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Abstraction and specification in program development
Abstraction and specification in program development
The type inference and coercion facilities in the scratchpad II interpreter
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Common LISP: the language
The definition of Standard ML
Mathematica: a system for doing mathematics by computer (2nd ed.)
Mathematica: a system for doing mathematics by computer (2nd ed.)
AXIOM: the scientific computation system
AXIOM: the scientific computation system
A first report on the A# compiler
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
The C++ Programming Language, Third Edition
The C++ Programming Language, Third Edition
Gauss: A Parameterized Domain of Computation System with Support for Signature Functions
DISCO '93 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
MODLISP -- an introduction (invited)
EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
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
REDUCE 2: A system and language for 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
A language for computational algebra
SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
SMP - A Symbolic Manipulation Program
SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
Toward a formal implementation of computer algebra
ACM SIGSAM Bulletin
LISP 1.5 Programmer's Manual
ACM SIGSAM Bulletin
Hi-index | 0.00 |