Reduce-3.5

This information is file is provided by Alexej Pushkin, now of Lund University.
This online manual for REDUCE 3.5 was constructed with the help of a small Perl script that converted the original Emacs info format file supplied with REDUCE 3.5 into HTML Since the above link does not exist any more, you can find equivalents now at this address and more of similar information at this address

Use the menu in the left side of the window and you will see documents here.