Algorithmic stratification of \(\mathbb R\Hom_{\mathcal D}(\mathcal M, \mathcal N)\) for regular algebraic \(\mathcal D\)-modules on \(\mathbb C^n\)
From MaRDI portal
Publication:2456556
DOI10.1016/j.jsc.2004.11.015zbMath1130.32002MaRDI QIDQ2456556
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
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
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