Algorithms forb-Functions, Restrictions, and Algebraic Local Cohomology Groups ofD-Modules

Assi, 1995, Détermination des pentes de D-modules, C.R. Acad. Sci. Paris, 320, 193 Becker, 1993 Björk, 1979 Briançon, 1989, Algorithme de calcul du polynôme de Berstein: cas non dégénéré, Ann. Inst. Fourier, 39, 553, 10.5802/aif.1177 Briançon, 1994, Localisation de systèms différentiels, stratifications de Whitney et condition de Thom, Invent. Math., 117, 531, 10.1007/BF01232255 Borel, 1987 Buchberger, 1970, Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems, Aequationes Math., 4, 374, 10.1007/BF01844169 Castro, 1987, Calculs effectifs pour les idéaux d'operateurs différentiels Cox, 1992 Eisenbud, 1995 Eisenbud, 1992, Direct methods for primary decomposition, Invent. Math., 110, 207, 10.1007/BF01231331 Gailligo, 1985, 204 Gelfand, 1989, Hypergeometric functions and toric manifolds, Funct. Anal. Appl., 23, 94, 10.1007/BF01078777 Ginsburg, 1986, Characteristic varieties and vanishing cycles, Invent Math., 84, 327, 10.1007/BF01388811 Hartshorne, 1966, 20 Kashiwara, 1976, Bb, Invent. Math., 38, 33, 10.1007/BF01390168 Kashiwara, 1978, On the holonomic systems of linear differential equations. II, Invent. Math., 49, 121, 10.1007/BF01403082 Kashiwara, 1983, 1016 Kashiwara, 1983 Kashiwara, 1979, On the characteristic variety of a holonomic system with regular singularities, Adv. in Math., 34, 163, 10.1016/0001-8708(79)90055-0 Kashiwara, 1980, 126 Laurent, 1987, Polygône de Newton etb, Ann. Sci. École Norm. Sup., 20, 391, 10.24033/asens.1538 Laurent, 1988, Systèmes différentiels fuchsiens le long d'une sous-variété, Publ. RIMS Kyoto Univ., 24, 397, 10.2977/prims/1195175034 Laurent, 1987, Images inverses des modules différentiels, Compositio Math., 61, 229 Maisonobe, 1994, D-Modules: An Overview towards Effectivity Malgrange, 1975, 459 Malgrange, 1983, Polynômes de Bernstein-Sato et cohomologie évanescente, Astérisque, 101/102, 243 Maynadier, 1996, Équations fonctionnelles pour une intersection complète quasi-homogène à singularité isolée, C.R. Acad. Sci. Paris, 322, 655 M. Noro, T. Takeshima, 1992, Risa/Asir—A Computer Algebra System, Proceedings of International Symposium on Symbolic and Algebraic Computation, Paul, S. Wang, 387, 396, ACM, New York Oaku, 1994, Computation of the characteristic variety and the singular locus of a system of differential equations with polynomial coefficients, Jpn. J. Indust. Appl. Math., 11, 485, 10.1007/BF03167233 T. Oaku, 1994, Algorithms for finding the structure of solutions of a system of linear partial differential equations, Proceedings of International Symposium on Symbolic and Algebraic Computation, J. GathenM. Giesbrecht, 216, 223, ACM, New York Oaku, 1995, Algorithmic methods for Fuchsian systems of linear partial differential equations, J. Math. Soc. Jpn., 47, 297, 10.2969/jmsj/04720297 Oaku, 1997, An algorithm of computingb, Duke Math. J., 87, 10.1215/S0012-7094-97-08705-6 Oaku, 1997, Algorithms for thebD, J. Pure Appl. Algebra, 117 Sabbah, 1987, Proximité évanescente. II. Équations fonctionelles pour plusieurs fonctions analytiques, Compositio Math., 64, 213 Saito, 1994, Restrictions ofA1n-hypergeometric function, Int. J. Math., 5, 537, 10.1142/S0129167X94000280 M. Saito, B. Sturmfels, N. Takayama, 1996, Integer programming and hypergeometric series Sato, 1980, Micro-local analysis of prehomogeneous vector spaces, Invent Math., 62, 117, 10.1007/BF01391666 Shimoyama, 1996, Localization and primary decomposition of polynomial ideals, J. Symbolic Computation, 22, 247, 10.1006/jsco.1996.0052 Takayama, 1989, Gröbner basis and the problem of contiguous relations, Japan J. Appl. Math., 6, 147, 10.1007/BF03167920 N. Takayama, 1990, An algorithm of constructing the intergral of a module—an infinite dimensional analog of Gröbner basis, Proceedings of International Symposium on Symbolic and Algebraic Computation, S. WatanabeM. Nagata, 206, 211, ACM, New York Takayama, 1992, Computational algebraic analysis and connection formula, Surikaiseki Kenkyusho Kôkyuroku, 811, 82 N. Takayama, 1991— Kan: A system for computation in algebraic analysis Yano, 1978, On the theory ofb, Publ. RIMS, Kyoto Univ., 14, 111, 10.2977/prims/1195189282