Волков В. А. Методи та засоби алгебраїчного програмування в розробці математичних програмних систем

У дисертації розроблено методологію координації різних видів математичної діяльності у різнорідному програмному середовищі шляхом представлення у вигляді взаємодіючих математичних агентів. Розроблено базові засоби системи АПС, що підтримують інтеграцію основних парадигм програмування. Створено та реалізовано архітектуру підтримки данної методології і використано у розробці системи перевірки вимог VRS. Розроблено алгебраїчне представлення для класу алгоритмів типу поповнення критичними парами. Досліджені властивості цього представлення; створено інструментальні програмних засобів для роботи з алгоритмами подібного типу; реалізовано декілька варіантів алгоритмів. Розроблено підхід до інтеграції символьних обчислень з численними методами та засобами штучного інтелекту. На основі цього підходу реалізовано систему комп'ютерної алгебри AIST для підтримку процесу викладання математики, та систему чисельно-аналітичних перетворень для дослідження задач прикладного математичного аналізу.