Основной пакет REDUCE включает следующие возможности: - элементарные функции и алгебраические операции - операции с полиномами и дробно-рациональными выражениями - автоматические и контролируемые подстановки и упрощения выражений, поиск наибольшего общего делителя - производные и неопределенные интегралы - точная арифметика целых и рациональных чисел - комплексные величины - алгебра матриц, векторов и тензоров - решение некоторых алгебраических уравнений и их систем - некоммутативная алгебра - алгебра g-матриц Дирака - использование символьной моды (дополнение REDUCE-программ LISP-модулями)