Announcing a New Version of REDUCE

Version 3.8 of REDUCE is now available for distribution. This is the first major update since the April 1999 release of REDUCE 3.7.  In addition to the capabilities of that version, this new release supports, among other things, vastly improved versions of  the CRACK system for solving over-determined systems of equations,  and the REDUCE logic system REDLOG. The GEOMETRY package for mechanized (plane) geometry manipulations available in REDUCE 3.7 has been replaced by the more flexible GEOPROVER package. A new MathML-OpenMath interface is also included. Finally, various additions have been made to the GROEBNER package.

The underlying Lisp systems have also been extended to support 64-bit architectures. In addition, the latest release of the CSL-based version of REDUCE provides the same user interface on Windows, Linux, Unix and Macintosh OS X.

The REDUCE home page has been completely redesigned. In addition to general information about REDUCE, this page has pointers to a bibliography, online documentation for all packages included with the REDUCE distribution, demonstration versions and ordering information.