Система манипулирования формулами

Зименков В. И., Шинкарев М. К.
Вопросы атомной науки и техники. Сер. Методики и программы численного решения задач математической физики 1979. Вып.3. С. 46-51.

      Описывается диалоговая система, позволяющая производить над широким классом математических выражений некоторые аналитические преобразования (дифференцирование, подстановки и т.п.), а также вычислительные операции (вычисление значений выражений и определенных интегралов). На языке системы могут быть написаны процедуры, реализующие в символьном виде такие действия, как решение трансцендентных уравнений, разложение функций в ряды и т.п. Система реализована на ЭВМ БЭСМ-6 (список лит. - 4 назв.).