REDUCE Computer Algebra System
