Algorithmic proofs of two theorems of Stafford

Page 1

	Year	Citations
Module Structure of Weyl Algebras J. T. Stafford Journal of the London Mathematical Society Weyl AlgebrasLie AlgebraUniversal AlgebraRepresentation Theory	1978	94
Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties Uli Walther Journal of Pure and Applied Algebra Schubert CalculusCommutative AlgebraAlgebraic VarietiesAlgebraic AnalysisAlgebraic Theory	1999	79
Towards an Effective Version of a Theorem of Stafford Andre Hillebrand, Wiland Schmale Journal of Symbolic Computation Generalized FunctionEffective VersionVariational InequalityFunctional AnalysisCalculus Of Variation	2001	23
D-MODULES FOR MACAULAY 2 Anton Leykin Module DesignCommutative AlgebraRing Theory	2002	17

Page 1