DownloadREDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers. It can be used interactively for simple calculations but also provides a flexible and expressive user programming language.
The development of the REDUCE computer algebra system was started in the 1960s by Anthony C. Hearn. Since then, many scientists from all over the world have contributed to its development. REDUCE has a long and distinguished place in the history of computer algebra systems. Other systems that address some of the same issues but sometimes with rather different emphasis are Axiom, Derive, Macsyma (Maxima), Maple, Mathematica and MuPAD.
REDUCE primarily runs on either Portable Standard Lisp (PSL) or Codemist Standard Lisp (CSL), both of which are included in the SourceForge distribution. By modern standards, REDUCE is a surprisingly small and compact application, which runs well on all major operating systems.
Features
- arbitrary precision integer and rational arithmetic
- algorithms for polynomials and rational functions
- facilities for the solution of a variety of algebraic equations;
- automatic and user controlled simplification of expressions
- substitutions and pattern matching in a wide variety of forms
- analytic differentiation and integration
- computations with a wide variety of special functions
- Dirac matrix calculations of interest to high energy physicists
- quantifier elimination and decision for interpreted first-order logic
- powerful intuitive user-level programming language
Project Samples
License
BSD LicenseUser Reviews
-
I've been programming for many years and I just learned about REDUCE some time ago - However, the entire system amazes me and it helps me to bring my programming to the next level. This is the best tool and programming language I've witnessed for a long time. How can this piece of software be so powerful AND open source?! I'm so happy that I found REDUCE through a book by Andrew Seagar on electromagnetic scattering.
-
The best CAS there is!
-
This is leader among algebraic computations. Input expression syntax is easy. I wonder how elegant are formulae drawing.
-
I still don't know how to edit previously written sentences at none of it's interfaces, if possible.
-
Reduce is better than other CAS applications..