1996 年 48 巻 4 号 p. 575-600
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.
この記事は最新の被引用情報を取得できません。