РИД
№ 624120300163-6Библиотека программ на языке Haskell арифметики многочленов одной переменной, версия 2.2 (UPolLight-2.2)
03.12.2024
Программа представляет собой библиотеку программ на языке Haskell арифметики многочленов одной переменной. Программа включает функции быстрого вычисления произведения многочленов способом Карацубы и функцию вычисления НОД многочленов одной переменной над произвольной областью коэффициентов, обладающей однозначным разложением на множители. Арифметика многочленов запрограммирована в большой степени общности: над произвольным коммутативным кольцом коэффициентов.
ГРНТИ
28.23.29 Программная реализация интеллектуальных систем
50.05.09 Языки программирования
Ключевые слова
арифметика многочленов
язык Haskell
компьютерная алгебра
Детали
НИОКТР
Тип РИД
Программа для ЭВМ
Сферы применения
Автоматизация научных вычислений, учебное пособие по программированию вычислительной алгебры
Ожидается
Исполнитель
Исполнители
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ ИНСТИТУТ ПРОГРАММНЫХ СИСТЕМ ИМ. А.К. АЙЛАМАЗЯНА РОССИЙСКОЙ АКАДЕМИИ НАУК
Заказчик
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
Похожие документы
Библиотека программ на языке Haskell арифметики многочленов одной переменной, версия 2.1 (UPolLight-2.1)
0.989
РИД
Библиотека доказательных программ арифметики многочленов одной переменной. Аддитивная часть, версия 0.3 (Poly-0.3)
0.898
РИД
Начальная библиотека LinAlg программ на языке Haskell линейной алгебры для матриц над евклидовым кольцом, версия 1.0
0.875
РИД
Библиотека доказательных программ арифметики дробей в общем случае, версия 1 (PFraction-1)
0.854
РИД
Программа для синтеза программ приведения элемента кольца многочленов над полем малой характеристики по модулю заданного многочлена
0.840
РИД
Программа вычисления полиномов Лагерра-Соболева с помощью рекуррентных формул
0.836
РИД
Программа проверки тождеств в алгебрах Мальцева M_Algebra_64
0.836
РИД
Программа для рекуррентного вычисления значений полиномов, ортогональных по Соболеву и порожденных полиномами Кравчука
0.835
РИД
Программа для синтеза программ возведения элемента кольца вычетов по модулю заданного полинома в степень, равную характеристике поля
0.832
РИД
Программа реализации арифметических операций при сочетании приведенного оптимального нормального и полиномиального базисов конечного поля характеристики семь
0.831
РИД