1 documents found
Information × Registration Number 0405U004928, Candidate dissertation Status к.ф.-м.н. Date 09-12-2005 popup.evolution o Title Methods of algebraic programming in development of mahematical software systems Author Volkov Vladyslav, popup.head Letichevsky Alexander A. popup.opponent Клименко Віталій Петрович popup.opponent Гороховський Семен Самуїлович Description У дисертації розроблено методологію координації різних видів математичної діяльності у різнорідному програмному середовищі шляхом представлення у вигляді взаємодіючих математичних агентів. Розроблено базові засоби системи АПС, що підтримують інтеграцію основних парадигм програмування. Створено та реалізовано архітектуру підтримки данної методології і використано у розробці системи перевірки вимог VRS. Розроблено алгебраїчне представлення для класу алгоритмів типу поповнення критичними парами. Досліджені властивості цього представлення; створено інструментальні програмних засобів для роботи з алгоритмами подібного типу; реалізовано декілька варіантів алгоритмів. Розроблено підхід до інтеграції символьних обчислень з численними методами та засобами штучного інтелекту. На основі цього підходу реалізовано систему комп'ютерної алгебри AIST для підтримку процесу викладання математики, та систему чисельно-аналітичних перетворень для дослідження задач прикладного математичного аналізу. Registration Date 2005-12-09 popup.nrat_date 2020-04-04 Close
Candidate dissertation
1
Volkov Vladyslav. Methods of algebraic programming in development of mahematical software systems : к.ф.-м.н. : spec.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем : presented. 2005-12-09; popup.evolution: .; V.M.Glushkov Institute of Cybernetics of NASU. – , 0405U004928.
1 documents found

Updated: 2026-03-23