Definition, synonyms and related words
The ring of differential operators with polynomial coefficients (in one variable), namely expressions of the form f_m(X)∂_Xᵐ+f_m-1(X)∂_Xᵐ⁻¹+⋯+f_1(X)∂_X+f_0(X).