• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Алгоритм проверки тривиальности "смешанных" идеалов в кольце дифференциальных многочленов

Программирование. 2015. № 2. С. 18-25.
Зобнин А.И., Лимонов М.

В статье предлагается алгоритм проверки тривиальности идеала [f] + (h_1, ..., h_t) в обыкновенном кольце дифференциальных многочленов при некотором дополнительном условии на многочлен f. Эта задача тесно связана, с одной стороны, с задачей Колчина об экспонентах дифференциальных идеалов, а с другой - с вопросами конечности дифференциальных стандартных базисов.