Reduce: Software for Algebraic Computation (Symbolic Computation / Artificial Intelligence)

Guide to using REDUCE, a software package for algebraic computation including the differentiation and integration of symbolic expressions. REDUCE is in worldwide use by thousands of scientists, engineers, and mathematicians. Available on at least a dozen computer architectures ranging in power from the IBM PC to the Cray X/MP.