REDUCE 2: A system and language for algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
The algebraic solution of large sparse systems of linear equations using REDUCE 2
ACM '74 Proceedings of the 1974 annual conference - Volume 1
Algebraic algorithm descriptions as programs
ACM SIGSAM Bulletin
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
| Hi-index | 0.00 |
REDUCE is an ALGOL-like procedural language for computer algebra, and general symbolic manipulation. Since it is primarily interactive, the language is command oriented, with each command being parsed, and evaluated, before proceeding to the next. The program can also be run batch mode. The language provides scalar variables, matrices and arrays, prefix and infix operators, block structure, FOR loops, WHILE loops and procedure definition, for use with a variety of algebraic and symbolic data types. The symbolic capability of the REDUCE language is complete enough to enable the entire program to be written in its own source language. The system currently uses a standardized subset of LISP 1.5 as an intermediate language, and REDUCE evaluation involves a translation through this subset to the specific LISP provided by the machine on which REDUCE is being run. REDUCE therefore uses LISP parameter binding and scope rules, and provides a RETURN statement to exit from a block with a value