Algorithms for D-modules --- restriction, tensor product, localization,   and local cohomology groups
  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. 
Toshinori Oaku and Nobuki Takayama