Algorithmic stratification of \(\mathbb R\Hom_{\mathcal D}(\mathcal M, \mathcal N)\) for regular algebraic \(\mathcal D\)-modules on \(\mathbb C^n\)

DOI10.1016/j.jsc.2004.11.015zbMath1130.32002MaRDI QIDQ2456556

Uli Walther

Publication date: 19 October 2007

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2004.11.015

zbMATH Keywords

Gröbner bases; \(\mathcal{D}\)-modules; algorithmic stratification; solution functor

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

32C38: Sheaves of differential operators and their modules, (D)-modules

14F10: Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials

Uses Software

• Macaulay2
• Kan

Cites Work

• Direct methods for primary decomposition
• On the maximally overdetermined system of linear differential equations. I
• On the holonomic systems of linear differential equations. II
• Computation of the characteristic variety and the singular locus of a system of differential equations with polynomial coefficients
• Gröbner deformations of hypergeometric differential equations
• Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item