| |
Зобнин, А. И.
Алгоритм проверки тривиальности "смешанных" идеалов в кольце дифференциальных многочленов [Текст] / А. И. Зобнин, М. А. Лимонов
// Программирование. – 2015. – № 2. – С. 18-25.
В статье предлагается алгоритм проверки тривиальности идеала [f] +
(h_1, . . . , h_t ) в обыкновенном кольце дифференциальных многочленов при некотором дополнительном условии на многочлен f. |
