Компьютерная алгебра в ИПМ им. М. В. Келдыша

Дается краткий исторический обзор и основная библиография по развитию и использованию компьютерной алгебры (КоАл) или символьных преобразований в Институте прикладной математики имени М. В. Келдыша Российской академии наук. Компьютерная алгебра использовалась сотрудниками Института в различных областях: прикладной небесной механике, математике, робототехнике, гидромеханике, численных методах. Разрабатывались программные системы разного типа для символьных преобразований; велась работа по описанию и классификации их свойств. Был организован ряд конференций и семинаров по применению КоАл в механике. В Институте был разработан язык рекурсивных функций Рефал, который затем активно развивался и разнообразно использовался, в том числе для КоАл. История работ, выполненных в Институте по КоАл и в смежных областях, содержит много идей и результатов, интересных и в наши дни.