Neste trabalho, apresentamos um algoritmo que nos permite decidir quando derivações de k[x; y], do tipo Shamsuddin (isto é, derivações da forma @x + (a(x)y + b(x)) @y; onde a(x); b(x) 2 k[x] e k é um corpo de característica ...