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 |
| Nelson | Numerical computational language |
| wxMaxima | GUI for the sublime Maxima CAS |
| FORM | Symbolic Manipulation System |
| Axiom | General purpose Computer Algebra system |
Read our verdict in the software roundup.
Explore our comprehensive directory of recommended free and open source software. Our carefully curated collection spans every major software category.This directory is part of our ongoing series of informative articles for Linux enthusiasts. It features hundreds of detailed reviews, along with open source alternatives to proprietary solutions from major corporations such as Google, Microsoft, Apple, Adobe, IBM, Cisco, Oracle, and Autodesk. You’ll also find interesting projects to try, hardware coverage, free programming books and tutorials, and much more. Discovered a useful open source Linux program that we haven’t covered yet? Let us know by completing this form. |

