English Version Русская версия
ОПИСАНИЕ

Ефимов Георгий Борисович
Институт прикладной математики имени М.В. Келдыша РАН,отдел 5, сектор 4, ст.н.сотрудник efimov@keldysh.ru

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

Г.Б.Ефимов, Е.Ю.Зуева, И.Б.Щенков.
Из истории развития и применения компьютерной алгебры в Институте прикладной математики имени М.В.Келдыша.
Дается исторический обзор и основная библиография по развитию и использованию компьютерной алгебры или символьных преобразований в Институте прикладной математики имени М.В. Келдыша Российской академии наук. Институт был создан М.В. Келдышем в 1953 году для решения важнейших комплексных научных задач, первоначально для расчетов в связи с созданием ядерного оружия. Затем это были - задачи освоения космоса, кибернетика, ядерная физика и термоядерный синтез, программирование. Институт объединил специалистов различных областей - физиков, математи-ков, механиков, программистов и создателей вычислительных машин. Среди них - такие крупные ученые как А.Н. Тихонов, К.И. Бабенко, И.М. Гельфанд, И.Б. Зельдович, С.П. Курдюмов, А.А. Ляпунов, А.Н. Мямлин, Д.Е. Охоцимский, А.А. Самарский, К.А. Семендяев, М.Р. Шура-Бура, Т.М. Энеев, B.C. Яблонский и многие другие. Соединение сложных задач и разнообразных математических методов с активным, пионерским использованием вычислительной техники, энтузиазмом развития ее - дали немало ярких идей. Мысли о символьных вычислениях возникли вскоре после создания ЭВМ, как желание научить их работать с формулами и облегчить громоздкий труд физика или механика. Компьютерная Алгебра или Символьные Преобразования, как их называли раньше, использовалась сотрудниками Института в различных областях: прикладной небесной механике, математике, робототехнике, гидромеханике, численных методах. Разрабатывались программные системы разного типа для символьных преобразований; велась работа по описанию и классификации их свойств. Был организован ряд конференций и семинаров по применению Компьютерной алгебры в механике. В Институте был разработан язык рекурсивных функций Рефал, который затем активно развивался и разнообразно использовался, в том числе для Компьютерной алгебры. История работ, выполненных по Компьютерной алгебре и в смежных областях, в ИПМ - одном из ведущих и самых первых компьютерных центров, и история исследований в нем естественно связана со многими исследованиями по этой теме в нашей стране. Работа поддержана РФФИ, грант 04-01-00346. По работе был издан Препринт ИПМ № 27 за 2003 год, с библиографией более 170 работ.

информационные
спонсоры:
 
cпонсоры:

О CISCO