Resumen de An algorithm for computing the kernel of a locally finite iterative higher derivation

Ryuji Tanimoto

• Let R be a PID. This article gives an algorithm for computing the kernel of a locally finite iterative higher derivation of a finitely generated R-domain.