Сложность решения систем линейных уравнений над кольцами дифференциальных операторов

Пусть дана $k_1\times k_2$ система линейных уравнений над алгеброй Вейля $\mathcal{A}_n=F[X_1,\dots,X_n,D_1,\dots,D_n]$ или над алгеброй дифференциальных операторов $\mathcal{K}_n=F(X_1,\dots,X_n)[D_1,\dots,D_n]$, при этом степень каждого коэффициента системы меньше $d$. Доказано, что если система разрешима над $\mathcal{A}_n$ или $\mathcal{K}_n$, соответственно, то она имеет решение степени не больше $(k_1d)^{2^{O(n)}}$. Библ. – 11 назв.