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