Let $K$ be a field of characteristic zero. Let $\Omega = K[x_1, \dots, x_n, dx_1, \dots, dx_n]$ be the differential ring of algebraic differential forms over $K[X_1, \dots, X_n]$.
Is there an algorithm (e.g. by Gröbner basis-like techniques) that solves the ideal membership problem for $\Omega$? That is: given a finitely generated differential ideal $I \subseteq \Omega$, is it decidable whether $f \in I$ or not for a given $f \in \Omega$?
Is calculating the differential radical of $\Omega$ or eliminating variables like in ordinary commutative algebra with Gröbner bases equally possible?
(The reason why I am interested in these things is, of course, algebraic handling of partial differential equations in exterior form.)