[Computer_algebra] [Fwd: [Fwd: New Version of REDUCE]]

[Alexander Kryukov]

FYI

            -- A.K>

-----Forwarded Message-----
From: Tony Hearn <hearn at rand.org>
To: reduce-forum at rand.org
Subject: New Version of REDUCE
Date: Wed, 21 Jul 2004 08:59:22 -0700

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.
You can find the new site at reduce-algebra.com.
-- 
Alexander Kryukov <kryukov at theory.sinp.msu.ru>
SINP MSU