Software REDUCE
You have found the way to REDUCE on Software:
Codemist REDUCE - Distribution information for the REDUCE computer algebra package.
REDUCE - Program for general algebraic computations of interest to mathematicians, scientists and engineers. Over 20 years old. Comes with full source code. Site even lets you run the program remotely, in order to test the product.
REDUCE Computer Algebra System - Bibliography, documentation, available packages, online demonstrations and ordering information for versions from 3.8 onwards.
The Reduce Computer Algebra System - An interactive program designed for general algebraic computations of interest to mathematicians, scientists and engineers.
REDUCE IDE - Integrated Development Environment for the REDUCE computer algebra system within the GNU Emacs editor. Free download, documentation. Help build the largest human-edited directory on the web.