A Localization Algorithm forD-modules

Borel, 1987 Hotta, 1994 Kashiwara, 1976, B -functions and holonomic systems, rationality of B -functions, Invent. Math., 38, 33, 10.1007/BF01390168 Kashiwara, 1978, On the holonomic systems of linear partial differential equations, II, Invent. Math., 49, 121, 10.1007/BF01403082 Malgrange, 1975 M. Noro, T. Shimoyama, T. Takeshima, K. Yokoyama Oaku, 1994, Computation of the characteristic variety and the singular locus of a system of differential equations with polynomial coefficients, Japan. J. Indust. Appl. Math., 11, 485, 10.1007/BF03167233 Oaku, 1996, Gröbner bases for D -modules on a non-singular affine algebraic variety, Tôhoku Math. J., 48, 575, 10.2748/tmj/1178225300 Oaku, 1997, An algorithm for computing B -functions, Duke Math. J., 87, 115, 10.1215/S0012-7094-97-08705-6 Oaku, 1997, Algorithms for b -functions, restriction and algebraic local cohomology groups of D -modules, Adv. Appl. Math., 19, 61, 10.1006/aama.1997.0527 T. Oaku, N. Takayama, D Oaku, 1999, An algorithm for the de Rham cohomology groups of an affine variety via D -module computation, J. Pure Appl. Algebra, 139, 201, 10.1016/S0022-4049(99)00012-2 Saito, 1999, Gröbner deformations of hypergeometric differential equations, volume 6 of Algorithms and Computation in Mathematics, Springer Takayama, 1998 U. Walther Walther, 1999, Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties, J. Pure Appl. Algebra, 139, 303, 10.1016/S0022-4049(99)00016-X