Computation of algebraic properties of elementary particle reactions using a digital computer
Communications of the ACM
PM, a system for polynomial manipulation
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
Applications of symbol manipulation in theoretical physics
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
An interactive facility for symbolic mathematics
ACM SIGSAM Bulletin
Using Symbolic Computation in Buckling Analysis
Journal of Symbolic Computation
Implementation of multilinear operators in REDUCE and applications in mathematics
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
The beginning and development of FORMAC (FORmula MAnipulation Compiler)
HOPL-II The second ACM SIGPLAN conference on History of programming languages
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
The Algebraic Solution of Sparse Linear Systems via Minor Expansion
ACM Transactions on Mathematical Software (TOMS)
An Overview of Programming Practices
ACM Computing Surveys (CSUR)
An experiment in high level language microprogramming and verification
Communications of the ACM
Applications of symbol manipulation in theoretical physics
Communications of the ACM
Algebraic simplification: a guide for the perplexed
Communications of the ACM
The design of a system for the synthesis of correct microprograms
MICRO 8 Proceedings of the 8th annual workshop on Microprogramming
Extended polynomial algorithms
ACM '73 Proceedings of the ACM annual conference
Applications of symbol manipulation in theoretical physics
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
Algebraic simplification a guide for the perplexed
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
The definition and use of data structures in REDUCE
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Perturbation calculations for the spin up problem using REDUCE
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Breuer's grow factor algorithm in computer algebra
SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
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
An interactive program verification system
Proceedings of the international conference on Reliable software
The REDUCE system for computer algebra
ACM '75 Proceedings of the 1975 annual conference
ACM '75 Proceedings of the 1975 annual conference
The algebraic solution of large sparse systems of linear equations using REDUCE 2
ACM '74 Proceedings of the 1974 annual conference - Volume 1
The application of a symbolic mathematical system to program verification
ACM '74 Proceedings of the 1974 annual conference - Volume 1
A concept by concept description of the AMTRAN language
ACM SIGPLAN Notices - Special issue on AMTRAN (Automatic Mathematical TRANslation)
History of programming languages---II
The beginning and development of FORMAC: FORmula MAnipulation Compiler
History of programming languages---II
An overlay facility for LISP programs
ACM SIGSAM Bulletin
ACM SIGSAM Bulletin
On the design of a mode-based symbolic system
ACM SIGSAM Bulletin
A short survey on the state of the art in matching and unification problems
ACM SIGSAM Bulletin
An implementation of the exterior calculus in REDUCE: a status report
ACM SIGSAM Bulletin
Data structures and execution times of Algebraic mode programs for REDUCE
ACM SIGSAM Bulletin
The maple symbolic computation system
ACM SIGSAM Bulletin
Rationally simplifying non-rational expressions
ACM SIGSAM Bulletin
A Performability Solution Method for Degradable Nonrepairable Systems
IEEE Transactions on Computers
Strum: Structured Microprogram Development System for Correct Firmware
IEEE Transactions on Computers
On the need for a scientific programming language
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
A mode analyzing algebraic manipulation program
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
A pattern of language evolution
Celebrating the 50th Anniversary of Lisp
History of IBM's technical contributions to high level programming languages
IBM Journal of Research and Development
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Automated simplification of large symbolic expressions
Journal of Symbolic Computation
| Hi-index | 0.06 |
A description of a new version of the algebraic manipulation system REDUCE is presented. In its latest form, REDUCE provides a complete language for interactive symbol manipulation by computer in addition to increased facilities for the simplification of algebraic expressions.