Швалюк Т. М. Управління процесом символьних перетворень при розв'язанні задач комп'ютерної алгебри

Дисертаційна робота присвячена засобам автоматичного управління обчислювальним процесом та засобам перетворення в системах комп'ютерної алгебри. Докладно розглядаються властивості й реалізація новітньої системи сімейства АНАЛІТИК (АНАЛІТИК-2000). Поняття ефективності систем комп'ютерної алгебри в основному залежить від продуктивності праці користувача, забезпеченої високим рівнем інтелекту системи. Інтелект системи визначається засобами управління на основі розвиненого апарата розпізнавання функціональних і структурних властивостей об'єктів комп'ютерної алгебри. Модифікації функцій і операцій задаються спеціальними режимними засобами, дія яких розповсюджується на задані частини програми, на відміну від зарубіжних систем комп'ютерної алгебри, у яких модифікації визначаються типами даних. Тенденція зростання складності математичного моделювання наукових і прикладних задач приводить до підвищення ролі автоматичного режиму щодо інтерактивного.