Библиотека доказательных программ арифметики многочленов одной переменной. Аддитивная часть, версия 0.3 (Poly-0.3)
Арифметика многочленов
Программа представляет собой библиотеку доказательных программ аддитивной части арифметики многочленов одной переменной. Применяется подход доказуемого программирования.
Программа выполняет следующие функции: действия над целыми числами и списками над произвольной областью; некоторые действия и доказательства их свойств для произвольных (коммутативного) моноида и (коммутативного) кольца; функции сложения, вычитания и умножения многочленов над произвольным коммутативным кольцом, машинно-проверяемые формальные доказательства главных свойств сложения многочленов, доказательства структуры коммутативной группы по сложению для таких многочленов.
Создание надёжно верифицируемых программ для математических вычислений, верификация доказательств в математике.
Сергей
Абрамов
Михайлович
директор
Доктор физико-математических наук
Член-корреспондент РАН
-
-
РОССИЯ
Сергей
Абрамов
Михайлович
Директор
РОССИЯ
28.23.29
Программная реализация интеллектуальных систем
50.41.23
Программное обеспечение вычислительных сетей
50.05.13
Технология программирования. Автоматизация программирования.
50.33.04
Перспективные архитектуры. Архитектуры параллельной обработки
01.02.ET
COMPUTER SCIENCE, INFORMATION SYSTEMS
Сергей
Мешвелиани
Давидович
Идея создания программы и реализация
РОССИЯ
МИНОБРНАУКИ РОССИИ
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
1187746579690
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные казенные учреждения
ИПС им. А.К. Айламазяна РАН
Федеральное государственное бюджетное учреждение науки  Институт программных систем им. А.К. Айламазяна Российской академии наук
1027601052225
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения