|
Математические основы программирования
Программирование вычислительной алгебры на основе конструктивной математики. Области с разложением на простые множители
С. Д. Мешвелиани Институт программных систем им. А. К. Айламазяна РАН
Аннотация:
Статья продолжает публикации автора о подходе к использованию конструктивной математики
и применении языка с зависимыми типами для доказуемого программирования вычислительной алгебры.
Получено конструктивное выражение понятия области с разложением на
простые множители для моноидa и кольца с некоторыми
дополнительными свойствами.
Описан способ построения машинно-проверяемых доказательств для теорем, связывающих понятия разложения на простые множители в областях различного вида.
Все описываемые построения и доказательства воплощены полностью в виде программы
на функциональном языке Agda.
Ключевые слова и фразы:
конструктивная математика, алгебра, факторизация, зависимые типы, функциональное программирование, Agda.
Поступила в редакцию: 26.11.2016 Подписана в печать : 23.01.2017
Образец цитирования:
С. Д. Мешвелиани, “Программирование вычислительной алгебры на основе конструктивной математики. Области с разложением на простые множители”, Программные системы: теория и приложения, 8:1 (2017), 3–46
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ps247 https://www.mathnet.ru/rus/ps/v8/i1/p3
|
Статистика просмотров: |
Страница аннотации: | 160 | PDF полного текста: | 58 | Список литературы: | 19 |
|