Читать онлайн «Компьютерная алгебра Символ. и алгебраич. вычисления»

ББК 22. 14 + 22. 16 К 63 УДК 512. 7 + 519. 7 1 EM I Бухбергер Б. , Калме Ж. , Калтофен Э. , Коллинз Дж. , Лауэр М. , Лафон Ж-, Лоос Р. , Минньотт М. , Нойбюзер й. , Норман А. , Уинклер Ф. , ван Хюльзен Я. Компьютерная алгебра: Символьные и алгебраические К 63 вычисления: Пер. с англ. /Под ред. Б. Бухбергера, Дж. Кол- Коллинза, Р. Лооса. —М. : Мир, 1986. — 392 с, ил. Коллективная монография известных зарубежных ученых (Австрия США, ФРГ), дающая систематическое изложение алгоритмических аспектов и математи- математических методов новой области исследований — аналитических вычислений на ЭВМ. Отражены полученные результаты исследований и наиболее важные нерешенные проблемы. Прослеживается четкая связь методов современной алгебры с вопроса- вопросами их реализации на ЭВМ. КОМПЬЮТЕРНАЯ АЛГЕБРА СИМВОЛЬНЫЕ И АЛГЕБРАИЧЕСКИЕ ВЫЧИСЛЕНИЯ Под редакцией Б. Бухбергера, Дж. Коллинза и Р. Лооса Ст. науч. ред. И. А. Маховая. Мл. науч. ред. Л. А. Королева. Художник И. И. Каледин Художественный редактор В. И. Шаповалов. Технический редактор М. А. Страшнова Корректор Т. П. Берлизова ИБ № 5673 Сдано в набор 24. 10. 85. Подписано в печать 05. 05. 86. Формат 60Х90'Да. Бумага книжно- журналыая. Печать высокая. Гарнитура литературная. Объем 12,25 бум. л Уел печ л. 24,5). Усл. кр. -отт. 24. 5J. Усл. изд. л. 24,69. Изд. № 1/4242. Тираж 5000 экз. Зак'бьэ' Цена 3 р. 50 к. ИЗДАТЕЛЬСТВО «МИР» 1298. ';, ГСП, Москва, И-110, 1-й Рижский пер. , 2. Отпечатано с матриц Ленинградской типографии № 2 головного предприятия ордена Тру- Трудового Красного Знамени Ленинградского объединения «Техническая книга» им. Евге- Евгении Соколовой Союзполиграфпрома при Государственном комитете СССР по делчч издательств, полиграфии и книжной торговли. 198052, г. Ленинград, Л-52, Измайтов- скни проспект. 29 в Ленинградской типографии № 4 ордена Трудового Красного Зна- Знамени Ленинградского объединения «Техническая книга» им. Евгении Соколовой Союз- полиграфпрома при Государственном комитете СССР по делам издательств, полигра- фни и книжной торговли. 191126, Ленинград. Социалистическая ул. , 14 © 1982 and 1983 by Springer-Verlag/Wien © перевод на русский язык с дополне- дополнениями, «Мир». 1986 От редактора перевода Предлагаемая вниманию читателей книга посвящена компь- компьютерной алгебре —новой, быстро развивающейся области, ори- ориентированной на использование ЭВМ для выполнения аналити- аналитических (нечисленных) преобразований математических выра- выражений: полиномов, рядов, рациональных функций, формул и т. д. (Вместо «компьютерная алгебра» в отечественной периодиче- периодической литературе чаще употребляется термин «аналитические вычисления». ) Реализация на ЭВМ символьной математики открыла принципиально новые возможности использования вы- вычислительных машин в естественнонаучных и прикладных ис- исследованиях.