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.