В монографии исследуются системы символических вычислений, подробно рассматривается конкретная реализация системы аналитических преобразований REDUCE на вычислительных машинах ЕС ЭВМ, описываются возможности и основы программирования на входном языке этой системы с иллюстрациями на многочисленных примерах.
