Компьютерная алгебра. Системы аналитических вычислений. Демьянович Ю.К. - 37 стр.

UptoLike

Составители: 

Рубрика: 

что часто результаты, связанные с анализом вычислительных ал-
горитмов, применимы и к компьютерной алгебре некоторым сме-
щением акцента: кроме времени вычисления по той или иной фор-
муле следует говорить также об оценке её длины, которая обычно
пропорциональна указанному времени).
Наиболее популярными и достаточно мощными системами ком-
пьютерной алгебры общего назначения к настоящему времени яв-
ляется:
MACSYMA (мало доступна),
REDUCE (наиболее широко распростронена),
muMATH (на микрокомпьютерах),
SCRATCHPAD (новая система с ограниченным доступом).
Эти и ряд других не названных здесь систем обладают общими
свойствами:
программирование интерактивное,
данные представляют собой аналитические выражения,
язык пользователя похож на Паскаль,
языки реализации близки к языку ЛИСП (или совпадают с
ним).
Особенность работы состоит в том, что в отличие от численного
счёта здесь пользователь передоверяет ЭВМ много таких функций,
которые раньше он выполнял самостоятельно. Тем самым в ещё
большей степени, чем при численном счёте, утрачивается контроль
за проводимыми преобразованиями. Для того, чтобы в какой-то
степени уравновесить этот недостаток, пользователю необходимо
более детально, чем в процессе численного счёта, представлять се-
бе работу используемого программного продукта, т.е. хорошо пред-
ставлять себе результаты применения тех или иных операций и про-
цедур применяемой системы аналитических вычислений, а также
знать свойства применяемых алгоритмов отношении сложности
вычислений и длины промежуточных результатов).
§3. О представлении данных в САВ
1. Введение
Этот параграф, как и предыдущий, представляет собой некото-
рый обзор имеющихся результатов. При любом таком обзоре нет
38