@article {IOPORT.05202021,
    author       = {Helm, David and Miller, Ezra},
    title        = {Algorithms for graded injective resolutions and local cohomology over semigroup rings.},
    year         = {2005},
    journal      = {Journal of Symbolic Computation},
    volume       = {39},
    number       = {3-4},
    issn         = {0747-7171},
    pages        = {373-395},
    publisher    = {Elsevier Science (Academic Press), London},
    doi          = {10.1016/j.jsc.2004.11.009},
    abstract     = {Summary: Let $Q$ be an affine semigroup generating $\Bbb Z^d$, and fix a finitely generated $\Bbb Z^d$-graded module $M$ over the semigroup algebra $k[Q]$ for a field $k$. We provide an algorithm to compute a minimal $\Bbb Z^d$-graded injective resolution of $M$ up to any desired cohomological degree. As an application, we derive an algorithm computing the local cohomology modules $H^i_I(M)$ supported on any monomial (that is, $\Bbb Z^d$-graded) ideal $I$. Since these local cohomology modules are neither finitely generated nor finitely cogenerated, part of this task is defining a finite data structure to encode them.},
    identifier   = {05202021},
}