REDUCE is a portable general-purpose computer algebra system for symbolic computation. It is aimed at mathematicians, scientists, and engineers, and can be used both for interactive algebraic work and for building programs in its own expressive user language.
The system is implemented in Standard Lisp, and the distribution includes the Portable Standard Lisp, Codemist Standard Lisp, and Visible Standard Lisp back ends.
This is free and open source software.
Key Features
- Supports arbitrary precision integer and rational arithmetic.
- Provides algorithms for polynomials and rational functions.
- Includes facilities for solving a variety of algebraic equations.
- Offers automatic and user-controlled simplification of expressions.
- Supports substitutions and pattern matching in a wide variety of forms.
- Performs analytic differentiation and integration, along with computations involving special functions.
Website: reduce-algebra.sourceforge.io
Support:
Developer: REDUCE developers
License: Modified BSD License

REDUCE is written in Lisp. Learn Lisp with our recommended free books and free tutorials.
Related Software
| Computer Algebra Systems | |
|---|---|
| Scilab | Numerical computational package |
| Maxima | System for the manipulation of symbolic and numerical expressions |
| Octave | Powerful programming language with built-in plotting and visualization tools |
| SageMath | Open source alternative to Magma, Maple, Mathematica and Matlab |
| SymPy | Python library for symbolic mathematics |
| SINGULAR | Computer Algebra System for polynomial computations |
| Macaulay2 | Software system for research in algebraic geometry |
| Cadabra | Symbolic computer algebra system for field theory problems |
| PARI/GP | Widely used algebra system designed for fast computations in number theory |
| GAP | System for computational discrete algebra |
| FriCAS | Fork of Axiom |
| CoCoA | System for doing computations in commutative algebra |
| Mathics | General-purpose CAS with Mathematica-compatible syntax and functions |
| FORM | Symbolic Manipulation System |
| Nelson | Numerical computational language |
| wxMaxima | GUI for the sublime Maxima CAS |
| Xcas | Cross-platform mathematical environment |
| REDUCE | General-purpose computer algebra system for symbolic computation |
| OSCAR | Comprehensive computer algebra system for advanced mathematics |
| Axiom | General purpose Computer Algebra system |
| Symja | Computer algebra system and symbolic mathematics library |
| CGSuite | For research in combinatorial game theory |
| Eigenmath | Compact symbolic mathematics and computer algebra application |
Read our verdict in the software roundup.
Explore our carefully curated directory of recommended free and open source software, covering every major software category.The directory forms part of our extensive collection of articles for Linux enthusiasts. It includes hundreds of detailed reviews, together with free and open source alternatives to proprietary software from companies such as Google, Microsoft, Apple, Adobe, IBM, Cisco, Oracle, and Autodesk. LinuxLinks also covers interesting projects worth exploring, Linux-compatible hardware, free programming books and tutorials, and much more. Know a useful free and open source Linux application that we haven’t covered? Tell us about it using our submission form. |


Please read our Comment Policy before commenting.