reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/code/. Please visit the REDUCE Homepage, https://reduce-algebra.sourceforge.io/, to report any bugs or request assistance.

cf2354f2
—
Jeffrey H. Johnson
19 hours ago

Merge branch 'svn/trunk'

129ede9b
—
Thomas Sturm
20 hours ago

Proper formatting of longer test names; more robust handling of failed tests

- read-only
- https://git.sr.ht/~trn/reduce-algebra
- read/write
- git@git.sr.ht:~trn/reduce-algebra

**REDUCE** is a freely available open-source 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 1960's by Anthony C. Hearn and further developed by Arthur C. Norman and others. 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** is implemented in *Standard Lisp*. It primarily runs on either ** Portable Standard Lisp**, which compiles to native machine code, or

By modern standards, **REDUCE** is a surprisingly small and compact application, and runs well on all major platforms and operating systems ― including Android and iOS.

- 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

**REDUCE**External Packages- GitHub
**REDUCE-Algebra Organization** - GitLab
**REDUCE-Algebra Organization** - SourceHut
**REDUCE-Algebra Project** - NotABug
**REDUCE-Algebra Organization** - Chisel
**REDUCE-Algebra Public Repositories**