REDUCE

Anthony Hearn, 1963

A language for symbolic mathematics, with ALGOL-like syntax, implemented in LISP.

REDUCE, Software for Algebraic Computation, Gerhard Rayna, Springer-Verlag, 1987.

REDUCE 2

Based on Portable Standard LISP.

REDUCE 3.5