REDUCE is a portable general-purpose computer algebra system. It is a system for doing scalar, vector and matrix algebra by computer, which also supports arbitrary precision numerical approximation and interfaces to gnuplot to provide graphics. It can be used interactively for simple calculations (as illustrated in the screenshot below) but also provides a full programming language, with a syntax similar to other modern programming languages. REDUCE supports alternative user interfaces including Run-REDUCE, TeXmacs and GNU Emacs. REDUCE (and its complete source code) is available free of charge for most common computing systems, in some cases in more than one version for the same machine. The manual and other support documents and tutorials are also included in the distributions.
Features
- Exact arithmetic using integers and fractions; arbitrary precision numerical approximation
- Polynomial and rational function algebra; factorization and expansion of polynomials and rational functions
- Differentiation and integration of multi-variable functions; exponential, logarithmic, trigonometric and hyperbolic
- Output of results in a variety of formats; automatic and user controlled simplification of expressions
- Substitutions and pattern matching of expressions; quantifier elimination and decision for interpreted first-order logic
- Solution of ordinary differential equations; calculations with a wide variety of special (higher transcendental) functions