Поведение дифференциальных стандартных базисов при композиции

В работе доказаны аналоги теоремы Хуна Хонга о поведении базисов Грёбнера при композиции для дифференциальных стандартных базисов в кольце обыкновенных дифференциальных многочленов $\mathcal F\{y\}$. В частности, доказана конечность некоторых дифференциальных стандартных базисов, а также построены специальные упорядочения дифференциальных мономов, при которых такие базисы у идеалов, порождённых степенями квазилинейных многочленов, становятся конечными.