Algorithmic Computation of Local Cohomology Modules and the Cohomological Dimension of Algebraic Varieties

In this paper we present algorithms that compute certain local cohomology modules associated to 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.