We consider an algebraic D-module on a non-singular affine algebraic variety from an algorithmic viewpoint. Our main purpose is to show that the method of Grobner basis can be applied to concrete computation of invariants such as the characteristic variety of an algebraic D-module.
