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.32002OpenAlexW2032840764MaRDI 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}\)-modulesalgorithmic stratificationsolution functor

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Sheaves of differential operators and their modules, (D)-modules (32C38) Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10)

Related Items

Restrictions of Pfaffian systems for Feynman integrals

Uses Software

• Macaulay2
• Kan

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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