Algorithms for D-modules --- restriction, tensor product, localization, and local cohomology groups
Toshinori Ôaku, Nobuki Takayama · arXiv (Cornell University) · 1998
We describe algorithms for computing various functors for algebraic D-modules, i.e. systems of linear partial differential equations with polynomial coefficients. We will give algorithms for restriction, tensor product, localization, and local cohomology groups for all degrees.