REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers.

WWW: https://reduce-algebra.sourceforge.io/
