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 up to a given bound.