Волков В.А. Методи та засоби алгебраїчного програмування в розробці математичних програмних систем. - Рукопис. Дисертація на здобуття наукового ступеня кандидата фізико-математичних наук за спеціальністю 01.05.03 - математичне та програмне забезпечення обчислювальних машин і систем. - Інститут кібернетики імені В.М. Глушкова НАН України. Дисертаційну роботу присвячено дослідженню проблеми взаємодії в єдиному програмному середовищі компонент, що підтримують різнорідні види математичної діяльності. Така взаємодія забезпечується інтеграцією основних парадигм програмування (імперативної, функціональної, логічної, та алгебраїчної) на основі алгебраїчної. Головним результатом даного дослідження є методологія координації різнома-нітних видів математичної активності у різнорідному програмному середовищі шляхом подання систем у вигляді взаємодіючих математичних агентів. Розроблено базові засоби системи алгебраїчного програмування АПС, що підтримують інтеграцію основних парадигм програмування. Сформульовані архітектурні рішення, які реалізують ієрархію мовних засобів і забезпечують одночасний доступ до всіх рівнів програмування, починаючи з мови конкретної предметної області й закінчуючи рівнем мови C/C++. Ця архітектура реалізована у засобах програмної підтримки розробленої методології та використана у розробці системи перевірки формальних вимін VRS Розроблено декларативне (алгебраїчне) представлення породжуючої схеми для класу алгоритмів типу поповнення критичними парами. Досліджені властивості цього представлення, реалізовано комплекс інструментальних програмних засобів для роботи з алгоритмами подібного типу; за допомогою цих засобів реалізовано декілька варіантів алгоритмів. Розроблено підхід до розв'язання задач інтеграції символьних обчислень з численними методами та засобами штучного інтелекту. На основі цього підходу реалізовано систему комп'ютерної алгебри AIST, орієнтовану на підтримку процесу викладання математики, та систему чисельно-аналітичних перетворень, призначену для дослідження задач прикладного математичного аналізу. Ключові слова: символьні обчислення, автоматичне доведення теорем, комп'ютерна алгебра, математичні агенти, транзиційні системи, формальні специфікації.