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

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