Concepts inREDUCE is free software as of January 2009
Reduce (computer algebra system)
Reduce is a general-purpose computer algebra system geared towards applications in physics. The development of the Reduce computer algebra system was started in the 1960s by Anthony C. Hearn. Since then, many scientists from all over the world have contributed to its development under his direction. Reduce is written entirely in its own LISP dialect called Standard LISP, expressed in an Algol-like syntax called RLISP. The latter is used as a basis for Reduce's user-level language.
more from Wikipedia