Система эквивалентных преобразований выражений

Описываемая в статье система представляет собой набор алгоритмов символьных преобразований, реализованных на языке ЛИСП. Описываются язык и действия системы. Предложен метод решения некоторых алгоритмически неразрешимых проблем, во многих случаях приводящий к цели.