Перевод названия: Systems of Generators for Ideals of Algebra of Convergent Differential Series
Тип публикации: статья из журнала
Год издания: 2014
Аннотация: В работе рассматривается дифференциальная алгебра сходящихся степенных рядов, зависящих от произвольного конечного числа переменных. Определяется понятие пассивного семейства образующих дифференциального идеала этой алгебры. Оно является дальнейшим развитием понятия базиса Грёбнера. Доказана теорема, позволяющая проверять пассивность семейства образующих и гарантирующая существование и единственность точечного решения бесконечной системы уравнений в данной алгебре.
Издание
Журнал: Программирование
Выпуск журнала: Т. 40, № 2
Номера страниц: 32-40
ISSN журнала: 01323474
Место издания: Москва
Издатель: Федеральное государственное унитарное предприятие Академический научно-издательский, производственно-полиграфический и книгораспространительский центр Наука
Персоны
- Капцов О.В. (Институт вычислительного моделирования СО РАН)
Вхождение в базы данных
- Ядро РИНЦ (eLIBRARY.RU)
- Список ВАК
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.