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