Recent posts to news
New release of REDUCE IDE for GNU Emacs
Fri, 08 Dec 2017 17:50:05 -0000

REDUCE IDE version 1.5 (Nov 2017) should work with the latest versions of both REDUCE and GNU Emacs. It also provides full support for the GNU Emacs package manager, explicit support for running both CSL and PSL REDUCE, and explicit support for running multiple REDUCE processes simultaneously. See

Support for Scientific Linux
Fri, 24 Nov 2017 16:50:52 -0000

The recent revision 4274 introduced a script which should automatically install all packages that are needed in order to build Reduce on Scientific Linux

Letter case in Reduce
Thu, 14 Sep 2017 08:03:15 -0000

For historical reasons, the source code of Reduce contained a mixture of upper case and lower case programs. In revision 3057 (March 2015) the casefold.c program was added to Reduce source code. The systematic use of this program converted almost all of the upper case code into lower case code.

Reduce and TeXmacs
Thu, 14 Sep 2017 07:47:48 -0000

Reduce can be run within TeXmacs (from revision 2545, May 2014).

CSL now is written in C++
Sat, 09 Sep 2017 09:27:04 -0000

Starting from revision 3297 of 14 December 2015, the CSL Lisp interpreter of Reduce has been rewritten from C to C++.

GUI for Reduce
Sat, 09 Sep 2017 09:17:55 -0000

At the moment, Reduce (using the CSL Lisp interpreter) has one Graphical User Interface, written using the FOX graphics libraries. The main feature that distinguishes this GUI from other Computer Algebra GUIs is that it uses a Reduce package to translate Reduce output into LaTeX code, and then it shows LaTeX high-quality output. There is work-in-progress to rewrite the GUI using the wxWidgets graphical libraries.

Snapshot factory
Thu, 07 Sep 2017 18:33:01 -0000

Starting from revision 3307 of 19 December 2015, a new set of scripts is added to Reduce source code. They aim at building a binary snapshot of Reduce from the current source code at regular time intervals, in order to provide the users fresh installers for their operating systems. Currently supported operating systems are Mac and Windows, and .deb and .rpm for various Linux flavours.

Sourceforge project live!
Sun, 21 Dec 2008 19:01:18 -0000
... as of Christmas 2008