An algorithm for computing the kernel of a locally finite higher derivation up to a certain degree
This paper gives an algorithm for computing the kernel of a locally finite higher derivation on the polynomial ring k[x₁,..., xₙ] up to a given bound.