|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Алгоритм проверки тривиальности "смешанных" идеалов в кольце дифференциальных многочленовстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКСтатья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 24 января 2020 г.
- Авторы: Зобнин А.И., Лимонов М.А.
- Журнал: Программирование
- Номер: 2
- Год издания: 2015
- Первая страница: 18
- Последняя страница: 25
- Аннотация: В статье предлагается алгоритм проверки тривиальности идеала [f] + (h_1, ..., h_t) в обыкновенном кольце дифференциальных многочленов при некотором дополнительном условии на многочлен f. Эта задача тесно связана, с одной стороны, с задачей Колчина об экспонентах дифференциальных идеалов, а с другой - с вопросами конечности дифференциальных стандартных базисов.
- Добавил в систему: Зобнин Алексей Игоревич