Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties Original Research Article

In this paper we present algorithms that compute certain local cohomology modules associated to ideals in a ring of polynomials containing the rational numbers. In particular, we are able to compute the local cohomological dimension of algebraic varieties in characteristic zero. Our approach is based on the theory of D-modules.