An algorithm for computing the kernel of a locally finite higher derivation up to a certain degree
Volume 122 / 2011
Colloquium Mathematicum 122 (2011), 21-31
MSC: Primary 13N15; Secondary 13A50.
DOI: 10.4064/cm122-1-3
Abstract
This paper gives an algorithm for computing the kernel of a locally finite higher derivation on the polynomial ring $k[x_1, \ldots, x_n]$ up to a given bound.